Erfasste Open-Source-Repos von HoTT, sortiert nach Sternen.
Ein Lehrbuch zur informellen Homotopietypentheorie
Eine Coq-Bibliothek für Homotopie-Typentheorie
