PrototypeCommon
AxiomMath/axiom-lean-engine
Lean evaluation and metaprogramming utilities for provers.
- Owner
- AxiomMath (organization)
- Stars
- Stars: 177
- Forks
- Forks: 25
- Language
- Python
- License
- MIT
- Created
- 2026
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by AxiomMath
All 5 repos by AxiomMath- AxiomMath/axplorerStars: 195Jupyter NotebookPrototype
- AxiomMath/CFSGStars: 154LeanPrototype
- AxiomMath/Putnam2025Stars: 114LeanPrototype
- AxiomMath/IMO2026Stars: 103LeanPrototype
Nearby in Python
All Python repos- Kunal-Somani/trajlensStars: 177PythonPrototype
- luyi14-bits/MISS-projectStars: 177PythonPrototype
- davidhnguyen2000/draftStars: 177PythonPrototype
- pyudev/pyudevStars: 177PythonPrototype
- mhl/guardian-for-kindleStars: 177PythonPrototype
- mattharrison/Git-Supervisual-CheatsheetStars: 177PythonPrototype