Consensys/dafny-training

Some examples of Dafny code to support training sessions

Dafny