This issue tracks the progress of our solution of [HumanEval152](https://github.com/TwoFX/human-eval-lean/blob/master/HumanEvalLean/HumanEval152.lean).
