# Topic Dates Materials Comments
1 First day of class 13/01 slides(key), slides (pdf) Lambda, the Ultimate TA
2 Functional Programming in Coq 14/01, 16/01 Coq, notes  
3 Logic 16/01, 20/01, 21/01, 22/01 Coq, notes Proposition as Types
4 Induction 23/01, 27/01, 28/01 Coq, notes  
5 BasicSyntax 29/01, 30/01 Coq  
6 Interpreters 03/02, 04,02, 05/02 Coq  
7 Logic Programming 05/02, 06/02 Coq  
8 Transition Systems 10/2 + tutorial, 11/2, 12/2, 13/2 Coq  
9 Operational Semantics   Coq  
10 Lambda Calculus   Coq  
11 Hoare Logic   Coq  
12 Functional Programming in F*   slides(pdf), fst  
13 Verifying Functional Programs in F*   fst