search

JetBrains-Research / HumanEval-Dafny

Translating humaneval into dafny
Apache License 2.0
4 stars 1 forks source link

Update README.md #20

Closed alex28sh closed 1 month ago