v4.23.0

Peiyang-Song released this 15 Sep 02:33

· 69 commits to main since this release

c4c11b7

What's Changed

latest stable version by @Peiyang-Song in #174
Latest stable version by @Peiyang-Song in #179
Bump to latest stable version Lean 4.23.0 by @Peiyang-Song in #182

Full Changelog: v4.22.0...v4.23.0

Contributors

Peiyang-Song

Assets 5