PrototypeCommon
cmu-l3/llmlean
LLMs + Lean, on your laptop or in the cloud
- Owner
- cmu-l3 (personal account)
- Stars
- Stars: 217
- Forks
- Forks: 33
- Language
- Lean
- License
- MIT
- Created
- 2024
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by cmu-l3
All 4 repos by cmu-l3- cmu-l3/gym-anythingStars: 301ShellAlpha
- cmu-l3/l1Stars: 264Jupyter NotebookAlpha
- cmu-l3/anlp-spring2026-codeStars: 146Jupyter NotebookPrototype
Nearby in Lean
All Lean repos- avigad/mathematics_in_lean_sourceStars: 223LeanPrototype
- cedar-policy/cedar-specStars: 220LeanPrototype
- openai/ten-proofsStars: 217LeanPrototype
- Verified-zkEVM/cleanStars: 207LeanPrototype
- leanprover/fp-leanStars: 204LeanPrototype
- openai/lean-gymStars: 201LeanPrototype