/DafnyBench

I'm really gonna translate HumanEval this time. Y'all haven't seen nothing yet.

Primary LanguagePython

No issues in this repository yet.