Hacker News
- Dafny: Verification-Aware Programming Language https://github.com/dafny-lang/dafny 26 comments
- Dafny: verification-aware programming language https://github.com/Microsoft/dafny 14 comments
- Dafny: a verification-aware programming language https://github.com/Microsoft/dafny 3 comments