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