favonia / homotopyLinks

My old Agda code for Homotopy Type Theory. (Halted. See HoTT/HoTT-Agda for the new one.)
26Updated 10 years ago

Alternatives and similar repositories for homotopy

Users that are interested in homotopy are comparing it to the libraries listed below

Sorting: