Verified record · from the answer index
dafny
clitested · static-verifiedscore 45/100signed passport ✓43 monthly downloads
Verification-aware programming language
cli:brew:dafny · published by dafny-lang · source repository
UnfragileUnfragileUnfragileUnfragileVerified record · from the answer index
Verification-aware programming language
cli:brew:dafny · published by dafny-lang · source repository