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