This repository has been archived by the owner on Jul 24, 2024. It is now read-only.
Test leanprover-community/lean#812#19192
Open
eric-wieser wants to merge 3 commits intomasterfrom eric-wieser-patch-1
+1-1
Commits
Commits on Jun 15, 2023
- authored
- authored
Commits on Jun 20, 2023
- authored