# GitHub repos by ProofGeneral [Home](https://repo.masters-masters.com/en) › [ProofGeneral](https://repo.masters-masters.com/en/owners/ProofGeneral) The public GitHub repo by ProofGeneral in RepoMasters, the trading card game of open source: stars, language, tier and card. ## GitHub repos by ProofGeneral 1 public repo by ProofGeneral in the catalog, most starred first. - [ProofGeneral/PG · ★ 562 · Emacs Lisp · Alpha](https://repo.masters-masters.com/en/repos/ProofGeneral/PG) ## See ProofGeneral on GitHub - [https://github.com/ProofGeneral](https://github.com/ProofGeneral) --- Data: GitHub