PrototypeCommon
leanprover/fp-lean
Functional Programming in Lean
- Owner
- leanprover (organization)
- Stars
- Stars: 204
- Forks
- Forks: 76
- Language
- Lean
- License
- None
- Created
- 2022
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by leanprover
All 18 repos by leanprover- leanprover/lean4Stars: 9,820LeanStable
- leanprover/lean3Stars: 2,152C++RC
- leanprover/cslibStars: 789LeanBeta
- leanprover/elanStars: 672RustAlpha
- leanprover/versoStars: 405LeanAlpha
- leanprover/vscode-lean4Stars: 316TypeScriptAlpha
Nearby in Lean
All Lean repos- openai/ten-proofsStars: 217LeanPrototype
- cmu-l3/llmleanStars: 216LeanPrototype
- Verified-zkEVM/cleanStars: 207LeanPrototype
- openai/lean-gymStars: 201LeanPrototype
- leanprover-community/lean-autoStars: 195LeanPrototype
- lean-ja/lean-by-exampleStars: 193LeanPrototype