Date
Topic
Assignment Released
09/02
Intro
09/04
Dafny Basics
Getting Started with Dafny
09/09
Floyd Logic
A1
09/11
Hoare Logic
Inductive Proofs