HoTT / HoTT-AgdaLinks

Development of homotopy type theory in Agda
426Updated 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

Sorting: