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