Always cool to see Dafny mentioned! Shameless plug: I just wrote a beginner's introduction to Dafny a few days ago. https://www.linkedin.com/pulse/getting-sta

Always cool to see Dafny mentioned! Shameless plug: I just wrote a beginner's introduction to Dafny a few days ago. https://www.linkedin.com/pulse/getting-started-dafny-your-first-formal-proof-alfred-white-puucc/ https://www.linkedin.com/pulse/getting-started-dafny-your-fi...