issues
search
JetBrains-Research
/
HumanEval-Dafny
Translating humaneval into dafny
Apache License 2.0
4
stars
1
forks
source link
Correct annotations in 008-sum_product.dfy
#53
Closed
jesyspa
closed
1 week ago