v1.5.2

Peiyang-Song released this 29 Aug 23:50

· 12 commits to main since this release

What's Changed

Add model manual download instructions by @Peiyang-Song in #118
Fix CI by @Peiyang-Song in #119
Bump to Lean v4.11.0-rc2 with dependencies by @Peiyang-Song in #120

Full Changelog: v1.5.1...v1.5.2

Contributors

Peiyang-Song

Assets 6