1. Terms and Proofs (21/1/2025).
  2. Recursion (30/1/2025).
  3. Inductive Types; Typeclasses (25/2/2025).

Assignments

Assignments will be posted roughly once a week. These will be lab assignments where you write Lean proofs/code.

  1. Terms and Proofs due by Tuesday, Jan 21, 2025.
  2. Recursion due by Thursday, Jan 30, 2025.
  3. Inductive Types; Typeclasses due by Tuesday, Feb 25, 2025.