30, 31, 35, 40, 42 - Githubissues

JetBrains-Research / HumanEval-Dafny

Translating humaneval into dafny

Apache License 2.0

4 stars 1 forks source link

Closed alex28sh closed 2 months ago

alex28sh commented 2 months ago

Please update the README.md accordingly to include the added files

done