Update to Lean v4.20.1 and build using system toolchain#53
Merged
paulcadman merged 6 commits intofunexists:mainfrom Jun 28, 2025
Merged
Update to Lean v4.20.1 and build using system toolchain#53paulcadman merged 6 commits intofunexists:mainfrom
paulcadman merged 6 commits intofunexists:mainfrom
Commits
Commits on Jun 28, 2025
- committed
- committed
- committed
- committed
- committed
- committed
