imperialcollegelondon / formalising-mathematics-2022 Goto Github PK
View Code? Open in Web Editor NEWLean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/ImperialCollegeLondon/formalising-mathematics-2024
Home Page: https://github.com/ImperialCollegeLondon/formalising-mathematics-2024