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