leanprover/human-eval-lean
View on GitHubHand-written verified Lean solutions for the HumanEval benchmark
- Stars
- 31
- Forks
- 9
- Open beginner issues
- 0
- Indexed issues
- 69
- Dominant language
- Lean
- License
- MIT
- Last GitHub push
- Mar 27, 2026
- Latest indexed
- Sep 21, 2026
- Contributing guide
- No contributing guide
- Code of conduct
- No code of conduct
- Beginner labels
- No beginner labels indexed
- PR merge metrics
- No merged PRs in 30d
-
auto-update-lean-fail
Difficulty 4/5 3-5 days Newbie friendliness 35/100
leanprover/human-eval-lean#313 ·
-
auto-update-lean-fail
Difficulty 4/5 3-5 days Newbie friendliness 38/100
leanprover/human-eval-lean#312 ·
-
HumanEval/163 Opendifficulty-trivial
Difficulty 3/5 1-2 days Newbie friendliness 30/100
leanprover/human-eval-lean#163 ·
-
HumanEval/162 Opendifficulty-hard strings
Difficulty 4/5 3-5 days Newbie friendliness 25/100
leanprover/human-eval-lean#162 ·
-
HumanEval/160 Openclaimed difficulty-hard strings
Difficulty 4/5 3-5 days Newbie friendliness 20/100
leanprover/human-eval-lean#160 · 1 comment ·
-
HumanEval/159 Opendifficulty-trivial
Difficulty 5/5 Over a week Newbie friendliness 20/100
leanprover/human-eval-lean#159 ·
-
HumanEval/158 Openclaimed difficulty-easy strings
Difficulty 5/5 Over a week Newbie friendliness 20/100
leanprover/human-eval-lean#158 · 1 comment ·
-
HumanEval/157 Opendifficulty-easy
Difficulty 5/5 Over a week Newbie friendliness 20/100
leanprover/human-eval-lean#157 ·
-
HumanEval/154 Opendifficulty-medium strings
Difficulty 4/5 3-5 days Newbie friendliness 25/100
leanprover/human-eval-lean#154 · 1 comment ·
-
HumanEval/153 Opendifficulty-easy strings
Difficulty 5/5 Over a week Newbie friendliness 25/100
leanprover/human-eval-lean#153 ·
-
HumanEval/152 Opendifficulty-easy
Difficulty 5/5 Over a week Newbie friendliness 25/100
leanprover/human-eval-lean#152 ·
-
HumanEval/151 Opendifficulty-easy
Difficulty 5/5 Over a week Newbie friendliness 20/100
leanprover/human-eval-lean#151 ·
-
HumanEval/149 Opendifficulty-easy strings
Difficulty 5/5 Over a week Newbie friendliness 25/100
leanprover/human-eval-lean#149 ·
-
HumanEval/148 Opendifficulty-easy
Difficulty 4/5 3-5 days Newbie friendliness 20/100
leanprover/human-eval-lean#148 ·
-
HumanEval/147 Opendifficulty-medium
Difficulty 3/5 1-2 days Newbie friendliness 20/100
leanprover/human-eval-lean#147 · 1 comment ·
-
HumanEval/146 Opendifficulty-easy
Difficulty 5/5 Over a week Newbie friendliness 25/100
leanprover/human-eval-lean#146 ·
-
HumanEval/145 Opendifficulty-easy
Difficulty 5/5 Over a week Newbie friendliness 20/100
leanprover/human-eval-lean#145 ·
-
HumanEval/144 Opendifficulty-easy strings
Difficulty 3/5 1-2 days Newbie friendliness 25/100
leanprover/human-eval-lean#144 ·
-
HumanEval/143 Opendifficulty-easy strings
Difficulty 4/5 3-5 days Newbie friendliness 25/100
leanprover/human-eval-lean#143 ·
-
HumanEval/142 Opendifficulty-easy
Difficulty 5/5 Over a week Newbie friendliness 25/100
leanprover/human-eval-lean#142 ·
-
HumanEval/141 Opendifficulty-medium strings
Difficulty 4/5 3-5 days Newbie friendliness 25/100
leanprover/human-eval-lean#141 ·
-
HumanEval/140 Opendifficulty-medium strings
Difficulty 5/5 Over a week Newbie friendliness 20/100
leanprover/human-eval-lean#140 · 1 comment ·
-
HumanEval/138 Opendifficulty-easy
Difficulty 5/5 Over a week Newbie friendliness 20/100
leanprover/human-eval-lean#138 ·
-
HumanEval/137 Opendifficulty-medium strings
Difficulty 5/5 Over a week Newbie friendliness 20/100
leanprover/human-eval-lean#137 · 1 comment ·
-
HumanEval/136 Opendifficulty-medium
Difficulty 4/5 3-5 days Newbie friendliness 20/100
leanprover/human-eval-lean#136 · 1 comment ·
-
HumanEval/135 Opendifficulty-easy
Difficulty 4/5 3-5 days Newbie friendliness 25/100
leanprover/human-eval-lean#135 ·
-
HumanEval/134 Opendifficulty-easy strings
Difficulty 5/5 Over a week Newbie friendliness 15/100
leanprover/human-eval-lean#134 ·
-
HumanEval/132 Opendifficulty-medium strings
Difficulty 5/5 Over a week Newbie friendliness 20/100
leanprover/human-eval-lean#132 ·
-
HumanEval/131 Opendifficulty-easy
Difficulty 5/5 Over a week Newbie friendliness 20/100
leanprover/human-eval-lean#131 ·
-
HumanEval/125 Opendifficulty-easy strings
Difficulty 4/5 3-5 days Newbie friendliness 25/100
leanprover/human-eval-lean#125 ·
-
HumanEval/124 Opendifficulty-medium strings
Difficulty 5/5 Over a week Newbie friendliness 15/100
leanprover/human-eval-lean#124 · 1 comment ·
-
HumanEval/120 Opendifficulty-easy
Difficulty 4/5 3-5 days Newbie friendliness 25/100
leanprover/human-eval-lean#120 ·
-
HumanEval/118 Opendifficulty-easy strings
Difficulty 5/5 Over a week Newbie friendliness 20/100
leanprover/human-eval-lean#118 ·
-
HumanEval/117 Opendifficulty-easy strings
Difficulty 5/5 Over a week Newbie friendliness 20/100
leanprover/human-eval-lean#117 ·
-
HumanEval/116 Opendifficulty-easy
Difficulty 4/5 3-5 days Newbie friendliness 20/100
leanprover/human-eval-lean#116 ·
-
HumanEval/113 Opendifficulty-medium strings
Difficulty 4/5 3-5 days Newbie friendliness 25/100
leanprover/human-eval-lean#113 ·
-
HumanEval/112 Opendifficulty-easy strings
Difficulty 3/5 1-2 days Newbie friendliness 30/100
leanprover/human-eval-lean#112 ·
-
HumanEval/111 Opendifficulty-trivial strings
Difficulty 3/5 1-2 days Newbie friendliness 20/100
leanprover/human-eval-lean#111 ·
-
HumanEval/108 Opendifficulty-easy
Difficulty 5/5 Over a week Newbie friendliness 20/100
leanprover/human-eval-lean#108 ·
-
HumanEval/107 Opendifficulty-easy strings
Difficulty 5/5 Over a week Newbie friendliness 20/100
leanprover/human-eval-lean#107 ·
-
HumanEval/105 Opendifficulty-easy strings
Difficulty 3/5 1-2 days Newbie friendliness 25/100
leanprover/human-eval-lean#105 ·
-
HumanEval/104 Opendifficulty-easy
Difficulty 4/5 3-5 days Newbie friendliness 25/100
leanprover/human-eval-lean#104 ·
-
HumanEval/103 Opendifficulty-easy
Difficulty 3/5 1-2 days Newbie friendliness 25/100
leanprover/human-eval-lean#103 ·
-
HumanEval/99 Opendifficulty-hard strings
Difficulty 5/5 Over a week Newbie friendliness 20/100
-
HumanEval/98 Opendifficulty-trivial strings
Difficulty 5/5 Over a week Newbie friendliness 25/100
-
HumanEval/97 Opendifficulty-trivial
Difficulty 3/5 1-2 days Newbie friendliness 25/100
-
HumanEval/96 Opendifficulty-medium
Difficulty 3/5 1-2 days Newbie friendliness 20/100
leanprover/human-eval-lean#96 · 1 comment ·
-
HumanEval/95 Opendifficulty-trivial strings
Difficulty 5/5 Over a week Newbie friendliness 20/100
-
HumanEval/94 Opendifficulty-medium
Difficulty 5/5 Over a week Newbie friendliness 25/100
leanprover/human-eval-lean#94 · 1 comment ·
-
HumanEval/93 Opendifficulty-easy strings
Difficulty 5/5 Over a week Newbie friendliness 20/100