Quick start material:# Dafny Quick Reference Dafny Quick Reference Programs Fields Methods Functions Classes Datatypes Generics Statements Expressions Getting Started with Dafny: A Guide Introduction Methods Pre- and Postconditions Assertions Functions Loop Invariants Termination Arrays Quantifiers Predicates Framing Binary Search Conclusion Releases Cheatsheet Dafny blog