Dépôts de HoTT
4 dépôts publics de HoTT au catalogue, du plus étoilé au moins étoilé.
- HoTT/bookÉtoiles : 2 174TeXRC
- HoTT/Coq-HoTTÉtoiles : 1 407Rocq ProverBêta
- HoTT/HoTT-AgdaÉtoiles : 442AgdaAlpha
- HoTT/EPIT-2020Étoiles : 110TeXPrototype
4 dépôts publics de HoTT au catalogue, du plus étoilé au moins étoilé.