Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
1.
▲
Dafny is a verification-aware programming language
(github.com/dafny-lang)
107 points
r9295
2 years ago
35 comments
2.
▲
Dafny: Verification-Aware Programming Language
(github.com/dafny-lang)
64 points
MindGods
6 years ago
26 comments