Bug fix of specs/implementations in benchmark#67

Merged

amit9oct merged 9 commits intotrishullab:mainfrom

Mar 24, 2026

Commits on Mar 5, 2026

fixes of bugs in issue #65 (sample_examples: 0, human_eval: 1, 6, 9, 13, 18, 20, 31, 32, 36, 73, 78, 82, 101, 108)
barabbs
committed
fixes of bugs in issue #65 (human_eval: 19, 25)
barabbs
committed

Commits on Mar 20, 2026

fixed errors in problem 32 and 82
barabbs
committed

Commits on Mar 24, 2026

added multiple option tests in problem_32.lean
barabbs
committed
updated test case in problem_details to reflect output of current implementation
barabbs
committed