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