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