Tue, 23 Jan - propositional logic.
Fri, 26 Jan - some model theory for propositional logic.
Tue, 30 Jan - Structural Induction Principles.
Fri, 2 Feb - Structural Induction Examples.
Tue, 6 Feb - some notes on defstructure.
Tue, 13 Feb - Implementation of the Fitch proof language.
Tue, 20 Feb - Inference Rules.
Fri, 23 Feb - Proving Structural Induction Principles.
Tue, 27 Feb - Induction principle for Quicksort.
Tue, 13 Mar - Accumulator proofs (sum-acc)
Fri, 23 Mar - Initial Code for Tetris Game
Tue, 27 Mar and 3 Apr - Model Theory for FOL (notes in progress)