HoTT
★ 2,172book
A textbook on informal homotopy type theory
HYSEN LABS DIRECTORY
HoTT
Verified repositories, classifications and analysis from the HoTT organization.
2 curated open-source projects
HoTT
★ 1,406Coq-HoTT
A Coq library for Homotopy Type Theory