v1.4.0

Peiyang-Song released this 01 Jul 02:38

· 61 commits to main since this release

9ee5cfa

What's Changed

Fix minor bug: tokenizer typo in models.py by @Peiyang-Song in #92
Bump to Lean v4.9.0 by @Peiyang-Song in #93

Full Changelog: v1.3.3...v1.4.0

Contributors

Peiyang-Song

Assets 6