Commit 7f6eedb

authored

123 (#211)

This PR solves problem 123.

1 parent 9d651d1 commit 7f6eedbCopy full SHA for 7f6eedb

1 file changed

+433

-8

lines changed

HumanEvalLean
- HumanEval123.lean

1 file changed

+433

-8

lines changed

Comments

(0)

⚡