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