105, 116, 123, 155, add a file with remaining tasks - Githubissues

JetBrains-Research / HumanEval-Dafny

Translating humaneval into dafny

Apache License 2.0

4 stars 1 forks source link

105, 116, 123, 155, add a file with remaining tasks #31

Closed WeetHet closed 1 month ago