Skip to content

v0.9.1

Choose a tag to compare

View all tags
@augustepoiroux augustepoiroux released this 14 Oct 21:24
· 34 commits to main since this release
v0.9.1
This tag was signed with the committer’s verified signature.
augustepoiroux Auguste Poiroux
GPG key ID: 044E5F021BD88C0E
Verified
Learn about vigilant mode.
fef2e2e

Add support for Lean v4.24.0

Full Changelog: v0.9.0...v0.9.1

Assets 2
Loading