kgeorgiy / lean-formalising-mathematics Goto Github PK
View Code? Open in Web Editor NEWThis project forked from imperialcollegelondon/formalising-mathematics
Material for Kevin Buzzard's 2021 TCC courrse on formalising mathematics.
License: Apache License 2.0