This repository has been archived by the owner on Aug 24, 2024. It is now read-only.
·
58 commits
to main
since this release
cd75f8b
This commit was signed with the committer’s verified signature.
insightmind
Niklas Bülow
Update for leanprover/lean4:nightly-2022-03-21