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