# Tutorials

```{toctree}
:maxdepth: 1
:titlesonly:

guide
ValueTypes
Sets
Sequences
Lemmas
Modules
Termination
```

## Other Resources

* [Cheat sheet appendix from Leino's book](Dafny-cheat-sheet.pdf)
* [A Tutorial on Using Dafny to Construct Verified Software](https://arxiv.org/pdf/1701.04481.pdf), Paqui Lucio, 2017