PrototypeCommon
siddhartha-gadgil/LeanAide
Tools based on AI for helping with Lean 4
- Owner
- siddhartha-gadgil (personal account)
- Stars
- Stars: 125
- Forks
- Forks: 17
- Language
- Lean
- License
- Apache-2.0
- Created
- 2022
- Topics
- lean4
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by siddhartha-gadgil
All 2 repos by siddhartha-gadgil- siddhartha-gadgil/ProvingGroundStars: 205Jupyter NotebookPrototype
Nearby in Lean
All Lean repos- sdiehl/zero-to-qedStars: 128LeanPrototype
- zhangir-azerbayev/ProofNetStars: 127LeanPrototype
- leanprover/lean4-cliStars: 125LeanPrototype
- blanchette/logical_verification_2023Stars: 122LeanPrototype
- emilyriehl/infinity-cosmosStars: 122LeanPrototype
- TwoFX/sudokuStars: 121LeanPrototype