felixwellen / DCHoTT-AgdaLinks

Differential cohesion in Homotopy Type Theory by an axiomatized infinitesimal shape modality
54Updated 2 years ago

Alternatives and similar repositories for DCHoTT-Agda

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

Sorting: