DCHoTT-Agda software on GitHub

Software OPEN SOURCE

Differential cohesion in Homotopy Type Theory by an axiomatized infinitesimal shape modality
Share - Bookmark