PrototypeCommon
leanprover/reference-manual
The Lean reference manual
- Owner
- leanprover (organization)
- Stars
- Stars: 137
- Forks
- Forks: 70
- Language
- Lean
- License
- Apache-2.0
- Created
- 2024
- 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- leanprover/con-lecheStars: 141LeanPrototype
- b-mehta/formalising-mathematics-notesStars: 140LeanPrototype
- goedelcodeprover/Goedel-Code-ProverStars: 138LeanPrototype
- openai/cdc-leanStars: 136LeanPrototype
- jesse-michael-han/lean-gptfStars: 135LeanPrototype
- eric-wieser/lean-matrix-cookbookStars: 135LeanPrototype