PrototypeCommon
goedelcodeprover/Goedel-Code-Prover
No description.
- Owner
- goedelcodeprover (personal account)
- Stars
- Stars: 138
- Forks
- Forks: 6
- Language
- Lean
- License
- MIT
- Created
- 2026
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in Lean
All Lean repos- kim-em/lean-zipStars: 141LeanPrototype
- leanprover/con-lecheStars: 141LeanPrototype
- b-mehta/formalising-mathematics-notesStars: 140LeanPrototype
- leanprover/reference-manualStars: 137LeanPrototype
- openai/cdc-leanStars: 136LeanPrototype
- jesse-michael-han/lean-gptfStars: 135LeanPrototype