/DafnyBench

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

Primary LanguagePython

Stargazers

No one’s star this repository yet.