Hacker News
- Dafny – A programming language with a program verifier https://github.com/Microsoft/dafny/blob/master/README.md 58 comments
- Dafny: A Language and Program Verifier for Functional Correctness http://research.microsoft.com/en-us/projects/dafny/ 10 comments
Lobsters
- Dafny: A language and program verifier for functional correctness http://research.microsoft.com/en-us/projects/dafny/ 4 comments compilers