Homotopy theory

Links

- βHoTT in Idris - Small, incomplete, and inconsistent formalization of homotopy type theory in Idris.
- βhomotopy.io - Web-based proof assistant for finitely-presented globular n-categories, for arbitrary n. (User Guide) (Code)
- βCubical 1lab - Formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory. (Code)

Last modified 1mo ago

Copy link