leanprover/cslib
View on GitHubThe Lean Computer Science Library (CSLib)
- Stars
- 709
- Forks
- 200
- Open beginner issues
- 0
- Indexed issues
- 49
- Avg merge
- 3d 6h
- Merged PRs (30d)
- 45
- Dominant language
- Lean
- License
- Apache-2.0
- Last GitHub push
- Sep 20, 2026
- Latest indexed
- Sep 20, 2026
- Contributing guide
- Contributing guide
- Code of conduct
- Code of conduct
- Beginner labels
- help wanted
2 beginner-friendly issues open
Loading issues
-
Difficulty 1/5 Under an hour Newbie friendliness 72/100
leanprover/cslib#784 ·
-
logic
Difficulty 1/5 Under an hour Newbie friendliness 72/100
leanprover/cslib#74 ·