Dépôts de AxiomMath
5 dépôts publics de AxiomMath au catalogue, du plus étoilé au moins étoilé.
- AxiomMath/axplorerÉtoiles : 195Jupyter NotebookPrototype
- AxiomMath/axiom-lean-engineÉtoiles : 177PythonPrototype
- AxiomMath/CFSGÉtoiles : 154LeanPrototype
- AxiomMath/Putnam2025Étoiles : 114LeanPrototype
- AxiomMath/IMO2026Étoiles : 103LeanPrototype