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