v4.16.0

Pre-release

Pre-release

Peiyang-Song released this 03 Feb 11:02

· 17 commits to main since this release

ebcaec4

What's Changed

Bump to latest (v4.16.0-rc1) by @Peiyang-Song in #142
merge main into stable by @Peiyang-Song in #145
Bump to Lean v4.16.0 stable by @Peiyang-Song in #146

Full Changelog: v4.15.0...v4.16.0

Contributors

Peiyang-Song

Assets 6