search

andrejbauer / homotopy-type-theory-course

A course on homotopy theory and type theory, taught jointly with Jaka Smrekar
277 stars 8 forks source link

peroprty? #2

Closed bafain closed 4 years ago