This is a clone of Kevin Buzzard's "formalising-mathematics-2024" repo, embellished with the automatic install of Paperproof for GitHub Codespaces.
Paper-Proof/DEMO-FormalisingMathematics
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|