andrejbauer / homotopy-type-theory-course

A course on homotopy theory and type theory, taught jointly with Jaka Smrekar
287Updated 9 months ago

Related projects

Alternatives and complementary repositories for homotopy-type-theory-course