Date
Topic
Assignment Released
09/02
Intro
09/04
Dafny Basics
Getting Started with Dafny
09/09
Floyd Hoare Logic
A1
09/11
Hoare Triple
09/16
Inductive Proofs
Quiz 1
09/18
09/23
Inductive Types
Quiz 2
09/25
Sorting
A2
09/30
Hoare Triple: Loops
Loop Invariants
10/02
Arrays
10/07
SAT Solver Basics
SAT Solvers