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