Homotopy type theory

github.comtool

from

Open Source Documents

added

2026-10-10

likes

0

similar

1. ▲
   Homotopy Type Theory github.com

   tool category #coq link ↗

   Development of homotopy-theoretic ideas.

   
2. ▲
   Homotopy Type Theory hottheory.files.wordpress.com

   site category #math link ↗

   Open textbook on homotopy type theory, univalent foundations, and higher-dimensional structures.

3. ▲
   typo github.com

   tool category #cl link ↗
   
4. ▲
   higgs github.com

   tool category #d link ↗
5. ▲
   Category Theory in Coq github.com

   tool category #coq link ↗

   Axiom-free formalization of category theory.

   
6. ▲
   Godot-D github.com

   tool category #d link ↗

Open Source Documents › Subjects > Mathematics & Physics: “(Site, BSD) - Homotopy Type Theory is an interpretation of Martin-Löf’s intensional type theory into abstract homotopy theory.”