Hand-written verified Lean solutions for the HumanEval benchmark - View it on GitHub
Star
28
Rank
770109