sachink003 / formalising-mathematics-2024 Goto Github PK
View Code? Open in Web Editor NEWThis project forked from imperialcollegelondon/formalising-mathematics-2024
Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.
Home Page: https://www.ma.imperial.ac.uk/~buzzard/xena/formalising-mathematics-2024/
License: Apache License 2.0