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