# Dépôts de type-theory [Accueil](https://repo.masters-masters.com/) › [type-theory](https://repo.masters-masters.com/owners/type-theory) Le dépôt GitHub public de type-theory en carte à collectionner : étoiles, langage et rang dans RepoMasters, le jeu de cartes de l’open source. ## Dépôts de type-theory 1 dépôt public de type-theory au catalogue pour l’instant. - [type-theory/type-theory-study-group · ★ 164 · Prototype](https://repo.masters-masters.com/repos/type-theory/type-theory-study-group) ## Voir type-theory sur GitHub - [https://github.com/type-theory](https://github.com/type-theory) --- Données : GitHub