Some examples of Dafny code to support training sessions - View it on GitHub