Assignment 1

This assignment focuses on verification with Dafny and Hoare triples.

You should download Homework.dfy. This contains the template for the exercise - fill it in by following its instructions and submit it through Gradescope.

The deadline for this is Friday, February 14rd, 11:59 pm Eastern.