BetaRare
leanprover/cslib
The Lean Computer Science Library (CSLib)
- Owner
- leanprover (organization)
- Stars
- Stars: 786
- Forks
- Forks: 218
- Language
- Lean
- License
- Apache-2.0
- Created
- 2025
- Topics
- computer-sciencelean
- Tier
- Beta (700 to 1,999 ★) What this tier means
More repos by leanprover
All 18 repos by leanprover- leanprover/lean4Stars: 9,804LeanStable
- leanprover/lean3Stars: 2,153C++RC
- leanprover/elanStars: 671RustAlpha
- leanprover/versoStars: 405LeanAlpha
- leanprover/vscode-lean4Stars: 316TypeScriptAlpha
- leanprover/theorem_proving_in_lean4Stars: 285LeanAlpha
Nearby in Lean
All Lean repos- ImperialCollegeLondon/FLTStars: 1,056LeanBeta
- leanprover-community/physlibStars: 817LeanBeta
- google-deepmind/superhumanStars: 806LeanBeta
- uwdb/CosetteStars: 690LeanAlpha
- litexlang/golitexStars: 683LeanAlpha
- AndrasKovacs/smallttStars: 611LeanAlpha