Search Results

Found 5 repositories(showing 5)

sun-wendy

🧡60

DafnyBench: A Benchmark for Formal Software Verification

Apache-2.0

Dafny

Updated 2 weeks ago

benchmarkdafnyformal-verification+2

ChloeL19

❤️45

I'm really gonna translate HumanEval this time. Y'all haven't seen nothing yet.

Dafny

Updated 1 month ago

agawde05

❤️25

No description available

Python

Updated 4 months ago

alex28sh

❤️25

No description available

Dafny

Updated 1 year ago

LukeW1999

❤️30

No description available

Apache-2.0

Python

Updated 8 months ago

All 5 repositories loaded

GitHub Explorer