Gitstar Ranking
Users
Organizations
Repositories
Rankings
Users
Organizations
Repositories
Sign in with GitHub
ImperialCollegeLondon
Fetched on 2025/03/15 13:59
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
203
Rank
154839
