v0.2.5
·
15 commits
to main
since this release
v0.2.5
This tag was signed with the committer’s verified signature.
What's Changed
- build: adopt Lean v4.33.0 by @jonaprieto in #8
- build: adopt precommit-lean v0.1.6 by @jonaprieto in #9
Full Changelog: v0.2.4...v0.2.5
Contributors
jonaprieto