v1.4.1

Peiyang-Song released this 01 Jul 05:41

· 50 commits to main since this release

What's Changed

Bump to Lean v4.10.0-rc1 by @Peiyang-Song in #94
minor fix for doc format in premise selection by @Peiyang-Song in #95

Full Changelog: v1.4.0...v1.4.1

Contributors

Peiyang-Song

Assets 6