/formalising-mathematics-2022

Lean material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics.

Primary LanguageLean

Stargazers

No one’s star this repository yet.