1. Lab 01: Setup (30/1/2023).
  2. Lab02: Selection Sort (part 1) and `≤` on `Answer` (6/2/2023).
  3. Lab03 Selection Sort (part 2) (13/2/2023).
  4. Vectors: Equivalence of definitions (20/3/2023).

Assignments

Assignments will be posted roughly once a week. These will be lab assignments involving programming and/or formal proving in Lean 4.

  1. Lab 01: Setup due by Monday, Jan 30, 2023.
  2. Lab02: Selection Sort (part 1) and `≤` on `Answer` due by Monday, Feb 6, 2023.
  3. Lab03 Selection Sort (part 2) due by Monday, Feb 13, 2023.
  4. Vectors: Equivalence of definitions due by Monday, Mar 20, 2023.