we it never lets us step outside => we never step outside

andrejbauer / homotopy-type-theory-course

A course on homotopy theory and type theory, taught jointly with Jaka Smrekar

277 stars 8 forks source link

Closed lemastero closed 4 years ago