Assignment 2

This assignment focuses on verification with Dafny and Hoare triples.

You should download Homework2.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 23rd, 11:59 pm Eastern.