Sept 4. Homework 0 is posted.

 

Sept 12. Homework 1 is posted. Follow the instructions to clone the new repository and access homework text.

 

Sept 14. BRING YOUR LAPTOPS to class on Friday, Sept 15th for another Dafny lab!