angelhof/penn-cis673-hw-dafny

Deadline: Thursday September 30th

The announcement for the homework is in announcement.md.

Installation instructions can be found here https://github.com/dafny-lang/dafny/wiki/INSTALL.