HoTT / HoTT-Agda

Development of homotopy type theory in Agda
422Updated 6 years ago

Alternatives and similar repositories for HoTT-Agda:

Users that are interested in HoTT-Agda are comparing it to the libraries listed below