# GitHub repos by AxiomMath

<https://repo.masters-masters.com/en/owners/AxiomMath>

[Home](https://repo.masters-masters.com/en) › [AxiomMath](https://repo.masters-masters.com/en/owners/AxiomMath)

All 5 public GitHub repos by AxiomMath in RepoMasters, most starred first: stars, language, tier and card for each.

## GitHub repos by AxiomMath

5 public repos by AxiomMath in the catalog, most starred first.

- [AxiomMath/axplorer · ★ 195 · Jupyter Notebook · Prototype](https://repo.masters-masters.com/en/repos/AxiomMath/axplorer)
- [AxiomMath/axiom-lean-engine · ★ 177 · Python · Prototype](https://repo.masters-masters.com/en/repos/AxiomMath/axiom-lean-engine)
- [AxiomMath/CFSG · ★ 154 · Lean · Prototype](https://repo.masters-masters.com/en/repos/AxiomMath/CFSG)
- [AxiomMath/Putnam2025 · ★ 114 · Lean · Prototype](https://repo.masters-masters.com/en/repos/AxiomMath/Putnam2025)
- [AxiomMath/IMO2026 · ★ 103 · Lean · Prototype](https://repo.masters-masters.com/en/repos/AxiomMath/IMO2026)

## See AxiomMath on GitHub

- [https://github.com/AxiomMath](https://github.com/AxiomMath)

---
Data: GitHub