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