Hacker News
- Dafny is a verification-aware programming language https://github.com/dafny-lang/dafny 35 comments
- 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 programming language with a program verifier https://github.com/Microsoft/dafny/blob/master/README.md 58 comments
- Dafny: a verification-aware programming language https://github.com/Microsoft/dafny 3 comments
- Dafny: A Language and Program Verifier for Functional Correctness http://research.microsoft.com/en-us/projects/dafny/ 10 comments
Lobsters
- Dafny - a verification-aware programming language https://dafny.org/ 3 comments plt , programming
- Functions as Methods in Dafny? https://whileydave.com/2023/09/16/efficient-functions-in-dafny/ 2 comments formalmethods , programming
- Proving Beautiful Mathematics in Dafny https://whileydave.com/2023/07/17/proving-a-beautiful-identity-in-dafny/ 11 comments formalmethods , math
- Dafny: A language and program verifier for functional correctness http://research.microsoft.com/en-us/projects/dafny/ 4 comments compilers
- Nine Rules to Formally Validate Rust Algorithms with Dafny https://medium.com/towards-data-science/nine-rules-to-formally-validate-rust-algorithms-with-dafny-part-1-5cb8c8a0bb92 7 comments rust
- The Dafny Programming and Verification Language https://dafny.org 12 comments programminglanguages
- Dafny: A Language and Program Verifier for Functional Correctness http://rise4fun.com/dafny 21 comments programming
- What does this massive complex in Dafni close to my house do? https://i.redd.it/liw8t964ocuy.jpg 31 comments greece
- Rust should cannibalize Dafny's program verification https://github.com/microsoft/dafny 19 comments rust
- Dafny: a verification-aware programming language https://github.com/microsoft/dafny 28 comments programming