dafny-lang/dafny

Dafny is a verification-aware programming language

107 best points · 61 comments · 2 Hacker News posts · 3,616 GitHub stars · View on GitHub

Hacker News discussions

• Dafny is a verification-aware programming language (107 points, 35 comments, by r9295, 2024-04-23)
• Dafny: Verification-Aware Programming Language (64 points, 26 comments, by MindGods, 2020-07-30)