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