The links below connect to annotated examples of Dafny source code, demonstrating various coding techniques or proof capabilities. Each of these verify successfully.

The files for these examples can be found in the examples folder of Dafny’s github project.