leanprover/fp-lean
View on GitHubFunctional Programming in Lean
- Stars
- 192
- Forks
- 73
- Open beginner issues
- 0
- Indexed issues
- 75
- Dominant language
- Lean
- License
- No license data
- Last GitHub push
- Aug 13, 2026
- Latest indexed
- Sep 20, 2026
- Contributing guide
- Contributing guide
- Code of conduct
- No code of conduct
- Beginner labels
- No beginner labels indexed
- PR merge metrics
- No merged PRs in 30d
-
Difficulty 1/5 Under an hour Newbie friendliness 92/100
leanprover/fp-lean#301 ·
-
UnusedVariable warning in Point3D pattern matching example (depth function) 1.5.1. Pattern Matching Open
Difficulty 1/5 Under an hour Newbie friendliness 90/100
leanprover/fp-lean#298 ·
-
Difficulty 1/5 Under an hour Newbie friendliness 78/100
leanprover/fp-lean#296 ·
-
Difficulty 1/5 Under an hour Newbie friendliness 90/100
leanprover/fp-lean#291 ·
-
Difficulty 1/5 Under an hour Newbie friendliness 72/100
leanprover/fp-lean#282 ·
-
Difficulty 1/5 Under an hour Newbie friendliness 78/100
leanprover/fp-lean#274 ·
-
Typo
Difficulty 1/5 Under an hour Newbie friendliness 90/100
leanprover/fp-lean#269 ·
-
Difficulty 1/5 Under an hour Newbie friendliness 75/100
leanprover/fp-lean#262 ·
-
Difficulty 1/5 Under an hour Newbie friendliness 68/100
leanprover/fp-lean#254 ·
-
Difficulty 2/5 1-3 hours Newbie friendliness 63/100
leanprover/fp-lean#252 · 1 comment · 3 reactions ·
-
Typo
Difficulty 2/5 1-3 hours Newbie friendliness 65/100
leanprover/fp-lean#248 · 2 comments ·
-
Typo
Difficulty 1/5 Under an hour Newbie friendliness 65/100
leanprover/fp-lean#246 ·
-
Typo
Difficulty 1/5 Under an hour Newbie friendliness 68/100
leanprover/fp-lean#243 ·
-
Typo
Difficulty 1/5 Under an hour Newbie friendliness 72/100
leanprover/fp-lean#241 ·
-
Typo
Difficulty 1/5 Under an hour Newbie friendliness 92/100
leanprover/fp-lean#240 ·
-
Typo
Difficulty 1/5 Under an hour Newbie friendliness 65/100
leanprover/fp-lean#238 ·
-
Typo
Difficulty 1/5 Under an hour Newbie friendliness 65/100
leanprover/fp-lean#237 ·
-
Typo
Difficulty 1/5 Under an hour Newbie friendliness 88/100
leanprover/fp-lean#236 ·
-
Difficulty 1/5 Under an hour Newbie friendliness 78/100
leanprover/fp-lean#197 · 3 reactions ·
-
Typo
Difficulty 1/5 Under an hour Newbie friendliness 70/100
leanprover/fp-lean#170 ·
-
Typo
Difficulty 1/5 Under an hour Newbie friendliness 68/100
leanprover/fp-lean#159 · 1 comment ·
-
Typo
Difficulty 1/5 Under an hour Newbie friendliness 65/100
leanprover/fp-lean#140 · 2 comments ·
-
Difficulty 1/5 Under an hour Newbie friendliness 62/100
leanprover/fp-lean#126 ·