A course on homotopy theory and type theory, taught jointly with Jaka Smrekar - View it on GitHub
Star
311
Rank
115519