# Dépôts de CMU-HoTT

<https://repo.masters-masters.com/owners/CMU-HoTT>

[Accueil](https://repo.masters-masters.com/) › [CMU-HoTT](https://repo.masters-masters.com/owners/CMU-HoTT)

Le dépôt GitHub public de CMU-HoTT en carte à collectionner : étoiles, langage et rang dans RepoMasters, le jeu de cartes de l’open source.

## Dépôts de CMU-HoTT

1 dépôt public de CMU-HoTT au catalogue pour l’instant.

- [CMU-HoTT/scott · ★ 180 · Prototype](https://repo.masters-masters.com/repos/CMU-HoTT/scott)

## Voir CMU-HoTT sur GitHub

- [https://github.com/CMU-HoTT](https://github.com/CMU-HoTT)

---
Données : GitHub