GitHub repos by AxiomMath
5 public repos by AxiomMath in the catalog, most starred first.
- AxiomMath/axplorerStars: 195Jupyter NotebookPrototype
- AxiomMath/axiom-lean-engineStars: 177PythonPrototype
- AxiomMath/CFSGStars: 154LeanPrototype
- AxiomMath/Putnam2025Stars: 114LeanPrototype
- AxiomMath/IMO2026Stars: 103LeanPrototype