PrototypeCommon
jesse-michael-han/lean-gptf
Interactive neural theorem proving in Lean
- Owner
- jesse-michael-han (personal account)
- Stars
- Stars: 135
- Forks
- Forks: 7
- Language
- Lean
- License
- Apache-2.0
- Created
- 2021
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in Lean
All Lean repos- openai/cdc-leanStars: 136LeanPrototype
- eric-wieser/lean-matrix-cookbookStars: 135LeanPrototype
- opencompl/veirStars: 135LeanPrototype
- verse-lab/velvetStars: 134LeanPrototype
- leanprover-community/lean-perfectoid-spacesStars: 133LeanPrototype