Here is a list of typos, errors, and other clarifications that were discovered after publication.

Have something else to report? Please email errata.

Thanks for your careful reading!

In the text

In programs

There have also been some changes in the Dafny language and tools since the book’s publication: