Math 145: Algebra (Fall 2026)
Instructor: David Jao
Office hours: Mon. 2-3pm, Wed. 5:30-6:30pm MC 5106
Announcements
Please join the discussion forum on Piazza (https://piazza.com/class/mts354wsp4q22n/) for assistance with the course, discussions of assignment problems and administrative issues.
Course materials
- Course outline (https://outline.uwaterloo.ca/viewer/view/n9zf6v)
- Lean reference sheet (https://raw.githubusercontent.com/fpvandoorn/LeanCourse24/master/lean-tactics.pdf) (note, not all of these commands are relevant to our class)
- Lean and Kiro installation tutorial (https://www.youtube.com/playlist?list=PLfrXEL0dHPoM)