Closed siddhartha-gadgil closed 7 years ago
This includes three I have taught: "Logic, Types and Spaces", "Intro to HoTT" and CATG; also Harish's Ricci flow, Several Complex Variables etc.
Note that the old courses are still online, and this even works (is a little ugly though)
Catalogue completed
This includes three I have taught: "Logic, Types and Spaces", "Intro to HoTT" and CATG; also Harish's Ricci flow, Several Complex Variables etc.