Commit cebb5f9

authored

HumanEval115 (#204)

This PR solves problem 115.

1 parent 8a09a13 commit cebb5f9Copy full SHA for cebb5f9

1 file changed

+392

-8

lines changed

HumanEvalLean
- HumanEval115.lean

1 file changed

+392

-8

lines changed

Comments

(0)