/HoTT

Homotopy type theory

Primary LanguageCoqOtherNOASSERTION

Stargazers