Repositorios de código abierto monitorizados de HoTT, ordenados por estrellas.
Un libro de texto sobre teoría de tipos de homotopía informal
Una biblioteca de Coq para la Teoría de Tipos de Homotopía
