search

JetBrains-Research / HumanEval-Dafny

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

Fix predicate in 104 #23

Closed WeetHet closed 1 month ago

WeetHet commented 1 month ago

Fixes #22