# Dépôts de HoTT [Accueil](https://repo.masters-masters.com/) › [HoTT](https://repo.masters-masters.com/owners/HoTT) Les 4 dépôts GitHub publics de HoTT, du plus étoilé au moins étoilé : étoiles, langage et rang de chaque carte RepoMasters. ## Dépôts de HoTT 4 dépôts publics de HoTT au catalogue, du plus étoilé au moins étoilé. - [HoTT/book · ★ 2 175 · TeX · RC](https://repo.masters-masters.com/repos/HoTT/book) - [HoTT/Coq-HoTT · ★ 1 407 · Rocq Prover · Bêta](https://repo.masters-masters.com/repos/HoTT/Coq-HoTT) - [HoTT/HoTT-Agda · ★ 442 · Agda · Alpha](https://repo.masters-masters.com/repos/HoTT/HoTT-Agda) - [HoTT/EPIT-2020 · ★ 110 · TeX · Prototype](https://repo.masters-masters.com/repos/HoTT/EPIT-2020) ## Voir HoTT sur GitHub - [https://github.com/HoTT](https://github.com/HoTT) --- Données : GitHub