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