Fix typos in README.md - Githubissues

andrejbauer / homotopy-type-theory-course

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

286 stars 8 forks source link

Open pitmonticone opened 8 months ago