PrototypeCommune
AxiomMath/axplorer
Pas de description.
- Propriétaire
- AxiomMath (organisation)
- Étoiles
- Étoiles : 195
- Forks
- Forks : 29
- Langage
- Jupyter Notebook
- Licence
- Apache-2.0
- Création
- 2026
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de AxiomMath
Les 5 dépôts de AxiomMath- AxiomMath/axiom-lean-engineÉtoiles : 177PythonPrototype
- AxiomMath/CFSGÉtoiles : 154LeanPrototype
- AxiomMath/Putnam2025Étoiles : 114LeanPrototype
- AxiomMath/IMO2026Étoiles : 103LeanPrototype
D’autres dépôts Jupyter Notebook
Tous les dépôts Jupyter Notebook- happylittlecat2333/AuffusionÉtoiles : 195Jupyter NotebookPrototype
- severian42/Vodalus-Expert-LLM-ForgeÉtoiles : 195Jupyter NotebookPrototype
- Goedel-LM/Goedel-Prover-V2Étoiles : 195Jupyter NotebookPrototype
- oreillymedia/essential-sqlalchemy-2eÉtoiles : 195Jupyter NotebookPrototype
- imatge-upc/activitynet-2016-cvprwÉtoiles : 195Jupyter NotebookPrototype
- dnc1994/Kaggle-PlaygroundÉtoiles : 195Jupyter NotebookPrototype