# Dépôts de avigad [Accueil](https://repo.masters-masters.com/) › [avigad](https://repo.masters-masters.com/owners/avigad) Les 2 dépôts GitHub publics de avigad, du plus étoilé au moins étoilé : étoiles, langage et rang de chaque carte RepoMasters. ## Dépôts de avigad 2 dépôts publics de avigad au catalogue, du plus étoilé au moins étoilé. - [avigad/mathematics\_in\_lean\_source · ★ 223 · Lean · Prototype](https://repo.masters-masters.com/repos/avigad/mathematics_in_lean_source) - [avigad/lamr · ★ 120 · Lean · Prototype](https://repo.masters-masters.com/repos/avigad/lamr) ## Voir avigad sur GitHub - [https://github.com/avigad](https://github.com/avigad) --- Données : GitHub