Skip to content

v4.22.0

Latest
Compare
Choose a tag to compare
@Peiyang-Song Peiyang-Song released this 14 Aug 08:52
· 3 commits to main since this release
2244f0a

What's Changed

  • Bump to latest stable version Lean v4.23.0-rc1 (~ v4.22.0) by @Peiyang-Song in #181

Note: this tag actually uses Lean v4.23.0-rc1, which is published almost at the same time as Lean v4.22.0, and thus our dependencies all got bumped to v4.23.0-rc1 directly and skipped v4.22.0.

Full Changelog: v4.21.0...v4.22.0