DanielRrr/formalising-mathematics-2022
Lean material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics.
Lean
No issues in this repository yet.
Lean material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics.
Lean
No issues in this repository yet.