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