| | Dafny: Verification-Aware Programming Language (dafny.org) |
| 110 points by handfuloflight 5 months ago | past | 33 comments |
|
| | Getting Started with Dafny: A Guide (dafny.org) |
| 4 points by gone35 11 months ago | past |
|
| | Teaching Program Verification in Dafny at Amazon (2023) (dafny.org) |
| 61 points by Jtsummers on June 2, 2025 | past | 20 comments |
|
| | Dafny Standard Libraries (dafny.org) |
| 2 points by todsacerdoti on Oct 13, 2024 | past |
|
| | Teaching Program Verification in Dafny at Amazon (dafny.org) |
| 1 point by todsacerdoti on Dec 19, 2023 | past | 1 comment |
|
| | Dafny – a verification-aware programming language (dafny.org) |
| 2 points by PaulHoule on Nov 28, 2023 | past |
|
| | Cracking the Coding Interview in Dafny: Permutations (dafny.org) |
| 1 point by iasdj38103 on Nov 10, 2023 | past |
|
| | Verifying Selection Sort: An Introduction to Program Verification in Dafny (dafny.org) |
| 1 point by maxmusing on Oct 18, 2023 | past |
|
| | Dafny (dafny.org) |
| 2 points by gorenb on Sept 13, 2023 | past |
|
| | The Dafny Programming and Verification Language (dafny.org) |
| 1 point by mikhailfranco on Sept 6, 2023 | past |
|
