My solutions to exercises from Kevin Buzzard and Bhavik Mehta's Formalising Mathematics courses, worked through independently.
Course repo: b-mehta/formalising-mathematics-notes
Course page: Formalising Mathematics 2024
patternscientist/formalising-mathematics-lean4
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|