Dafny resources

Here are some useful links for the programming language Dafny and its verifier:

• Dafny home page
• Syntax cheat sheet (Appendix A of this book)
• Language reference manual