v1.1.1

yangky11 released this 02 Feb 16:02

· 169 commits to main since this release

4bc4e6c

What's Changed

Bump to leanprover/lean4:v4.6.0-rc1
Add CI for PR targeting main by @Peiyang-Song in #52

Full Changelog: v1.1.0...v1.1.1

Contributors

Peiyang-Song

Assets 7