PrototypeCommon
frenzymath/jixia
A static analysis tool for Lean 4.
- Owner
- frenzymath (organization)
- Stars
- Stars: 131
- Forks
- Forks: 15
- Language
- Lean
- License
- Apache-2.0
- Created
- 2024
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by frenzymath
All 4 repos by frenzymath- frenzymath/DanusStars: 498PythonAlpha
- frenzymath/RethlasStars: 363PythonAlpha
- frenzymath/ArchonStars: 229PythonPrototype
Nearby in Lean
All Lean repos- openai/cdc-leanStars: 135LeanPrototype
- leanprover-community/lean-perfectoid-spacesStars: 134LeanPrototype
- verse-lab/velvetStars: 134LeanPrototype
- sdiehl/zero-to-qedStars: 128LeanPrototype
- zhangir-azerbayev/ProofNetStars: 127LeanPrototype
- leanprover/lean4-cliStars: 125LeanPrototype