Skip to content

v0.9.3

Choose a tag to compare

View all tags
@augustepoiroux augustepoiroux released this 17 Nov 10:36
· 30 commits to main since this release
v0.9.3
This tag was signed with the committer’s verified signature.
augustepoiroux Auguste Poiroux
GPG key ID: 044E5F021BD88C0E
Verified
Learn about vigilant mode.
23a71f2

Add support for Lean v4.25.0

Assets 2
Loading