# Dépôts de AxiomMath [Accueil](https://repo.masters-masters.com/) › [AxiomMath](https://repo.masters-masters.com/owners/AxiomMath) Les 5 dépôts GitHub publics de AxiomMath, du plus étoilé au moins étoilé : étoiles, langage et rang de chaque carte RepoMasters. ## Dépôts de AxiomMath 5 dépôts publics de AxiomMath au catalogue, du plus étoilé au moins étoilé. - [AxiomMath/axplorer · ★ 195 · Jupyter Notebook · Prototype](https://repo.masters-masters.com/repos/AxiomMath/axplorer) - [AxiomMath/axiom-lean-engine · ★ 177 · Python · Prototype](https://repo.masters-masters.com/repos/AxiomMath/axiom-lean-engine) - [AxiomMath/CFSG · ★ 154 · Lean · Prototype](https://repo.masters-masters.com/repos/AxiomMath/CFSG) - [AxiomMath/Putnam2025 · ★ 114 · Lean · Prototype](https://repo.masters-masters.com/repos/AxiomMath/Putnam2025) - [AxiomMath/IMO2026 · ★ 103 · Lean · Prototype](https://repo.masters-masters.com/repos/AxiomMath/IMO2026) ## Voir AxiomMath sur GitHub - [https://github.com/AxiomMath](https://github.com/AxiomMath) --- Données : GitHub