HoTT / HoTT-AgdaLinks

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