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