PrototypeCommune
AxiomMath/axiom-lean-engine
Lean evaluation and metaprogramming utilities for provers.
- Propriétaire
- AxiomMath (organisation)
- Étoiles
- Étoiles : 177
- Forks
- Forks : 25
- Langage
- Python
- Licence
- MIT
- 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/axplorerÉtoiles : 195Jupyter NotebookPrototype
- AxiomMath/CFSGÉtoiles : 154LeanPrototype
- AxiomMath/Putnam2025Étoiles : 114LeanPrototype
- AxiomMath/IMO2026Étoiles : 103LeanPrototype
D’autres dépôts Python
Tous les dépôts Python- Kunal-Somani/trajlensÉtoiles : 177PythonPrototype
- TheSmokeDev/hermes-talkÉtoiles : 177PythonPrototype
- xiasi0/ha-huawei-smarthomeÉtoiles : 177PythonPrototype
- pyudev/pyudevÉtoiles : 177PythonPrototype
- mhl/guardian-for-kindleÉtoiles : 177PythonPrototype
- mattharrison/Git-Supervisual-CheatsheetÉtoiles : 177PythonPrototype