Skip to content

v0.10.1

Choose a tag to compare

View all tags
@augustepoiroux augustepoiroux released this 24 Nov 09:06
· 22 commits to main since this release
v0.10.1
This tag was signed with the committer’s verified signature.
augustepoiroux Auguste Poiroux
GPG key ID: 044E5F021BD88C0E
Verified
Learn about vigilant mode.
c6b1925

Add support for Lean v4.26.0-rc1

Full Changelog: v0.10.0...v0.10.1

Assets 2
Loading