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