nivasan1/formalising-mathematics-2022
Lean material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics.
Lean
Stargazers
No one’s star this repository yet.
Lean material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics.
Lean
No one’s star this repository yet.