leanprover/reference-manual
View on GitHubThe Lean reference manual
- Stars
- 129
- Forks
- 67
- Open beginner issues
- 0
- Indexed issues
- 115
- Avg merge
- 1d 15h
- Merged PRs (30d)
- 16
- Dominant language
- Lean
- License
- Apache-2.0
- Last GitHub push
- Sep 16, 2026
- Latest indexed
- Sep 20, 2026
- Contributing guide
- Contributing guide
- Code of conduct
- No code of conduct
- Beginner labels
- No beginner labels indexed
-
doc-request
Difficulty 2/5 1-3 hours Newbie friendliness 78/100
leanprover/reference-manual#937 ·
-
doc-request
Difficulty 2/5 1-3 hours Newbie friendliness 68/100
leanprover/reference-manual#936 ·
-
doc-request
Difficulty 2/5 1-3 hours Newbie friendliness 68/100
leanprover/reference-manual#935 ·
-
bug
Difficulty 2/5 1-3 hours Newbie friendliness 72/100
leanprover/reference-manual#896 ·
-
bug
Difficulty 2/5 1-3 hours Newbie friendliness 72/100
leanprover/reference-manual#890 ·
-
doc-request
Difficulty 2/5 1-3 hours Newbie friendliness 72/100
leanprover/reference-manual#884 ·
-
Difficulty 1/5 Under an hour Newbie friendliness 88/100
leanprover/reference-manual#878 ·
-
Document `#guard` Opendoc-request
Difficulty 2/5 1-3 hours Newbie friendliness 68/100
leanprover/reference-manual#853 ·
-
Difficulty 1/5 Under an hour Newbie friendliness 90/100
leanprover/reference-manual#828 ·
-
doc-request
Difficulty 1/5 Under an hour Newbie friendliness 78/100
leanprover/reference-manual#815 ·
-
bug
Difficulty 1/5 Under an hour Newbie friendliness 87/100
leanprover/reference-manual#574 · 1 comment · 1 reaction ·