Assignments will be posted roughly once a week. These will be lab assignments involving programming and/or formal proving in Lean 4.
- Lab 01: Setup due by Monday, Jan 30, 2023.
- Lab02: Selection Sort (part 1) and `≤` on `Answer` due by Monday, Feb 6, 2023.
- Lab03 Selection Sort (part 2) due by Monday, Feb 13, 2023.
- Vectors: Equivalence of definitions due by Monday, Mar 20, 2023.