Gitstar Ranking
Users
Organizations
Repositories
Rankings
Users
Organizations
Repositories
Sign in with GitHub
ImperialCollegeLondon
Fetched on 2026/03/01 21:51
ImperialCollegeLondon
/
formalising-mathematics-2024
Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024. -
View it on GitHub
https://www.ma.imperial.ac.uk/~buzzard/xena/formalising-mathematics-2024/
Star
249
Rank
145061
