search

HoTT / book

A textbook on informal homotopy type theory
2.03k stars 359 forks source link

Fix typo "of of" #1143

Closed TristanCacqueray closed 1 year ago