[email protected]
Cambridge PhD Mathematics student at Trinity College, Cambridge
Bhavik Mehta
Lecture notes from Cambridge maths
b-mehta
Topos theory in lean
