# Dépôts de digama0 [Accueil](https://repo.masters-masters.com/) › [digama0](https://repo.masters-masters.com/owners/digama0) Les 3 dépôts GitHub publics de digama0, du plus étoilé au moins étoilé : étoiles, langage et rang de chaque carte RepoMasters. ## Dépôts de digama0 3 dépôts publics de digama0 au catalogue, du plus étoilé au moins étoilé. - [digama0/mm0 · ★ 422 · Lean · Alpha](https://repo.masters-masters.com/repos/digama0/mm0) - [digama0/lean4lean · ★ 269 · Lean · Alpha](https://repo.masters-masters.com/repos/digama0/lean4lean) - [digama0/lean-type-theory · ★ 174 · TeX · Prototype](https://repo.masters-masters.com/repos/digama0/lean-type-theory) ## Voir digama0 sur GitHub - [https://github.com/digama0](https://github.com/digama0) --- Données : GitHub