Gitstar Ranking
Users
Organizations
Repositories
Rankings
Users
Organizations
Repositories
Sign in with GitHub
ImperialCollegeLondon
Fetched on 2024/05/01 04:50
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
60
Rank
367620
