# Dépôts de metamath [Accueil](https://repo.masters-masters.com/) › [metamath](https://repo.masters-masters.com/owners/metamath) Les 2 dépôts GitHub publics de metamath, du plus étoilé au moins étoilé : étoiles, langage et rang de chaque carte RepoMasters. ## Dépôts de metamath 2 dépôts publics de metamath au catalogue, du plus étoilé au moins étoilé. - [metamath/set.mm · ★ 338 · HTML · Alpha](https://repo.masters-masters.com/repos/metamath/set.mm) - [metamath/metamath-exe · ★ 112 · C · Prototype](https://repo.masters-masters.com/repos/metamath/metamath-exe) ## Voir metamath sur GitHub - [https://github.com/metamath](https://github.com/metamath) --- Données : GitHub