v1.7.0

yangky11 released this 09 Mar 21:15

· 157 commits to main since this release

d399420

We dropped Lean 3 support starting from this version.

What's Changed

v1.7.0 by @yangky11 in #143
[WIP] Bump with Lean v4.6.0-rc1 by @Peiyang-Song in #134

Full Changelog: v1.6.0...v1.7.0

Contributors

yangky11 and Peiyang-Song

Assets 2