AlphaUncommon
leanprover/verso
Lean documentation authoring tool
- Owner
- leanprover (organization)
- Stars
- Stars: 405
- Forks
- Forks: 130
- Language
- Lean
- License
- Apache-2.0
- Created
- 2023
- Tier
- Alpha (250 to 699 ★) 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/vscode-lean4Stars: 316TypeScriptAlpha
- leanprover/theorem_proving_in_lean4Stars: 286LeanAlpha
Nearby in Lean
All Lean repos- PatrickMassot/GlimpseOfLeanStars: 428LeanAlpha
- digama0/mm0Stars: 422LeanAlpha
- leanprover-community/aesopStars: 413LeanAlpha
- dselsam/certigradStars: 404LeanAlpha
- leanprover-community/NNG4Stars: 387LeanAlpha
- AlexKontorovich/PrimeNumberTheoremAndStars: 351LeanAlpha