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