v1.5.2
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
Full Changelog: v1.5.1...v1.5.2