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