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 Tuesday, February 17th, 11:59 pm Eastern.