Math 145: Algebra (Fall 2025)

Instructor: David Jao
Office hours: MWF 1:00-2:00pm in MC 5106

Teaching assistants

Kody Choi	k46choi	Undergraduate student
Heming Huang	h29huang	MMath student
Jules Ribolzi	jribolzi	PhD student

Course materials

• Rocq reference sheet (https:../../wiki/images/4/43/Rocq-reference-sheet.pdf)
• Midterm solutions
  • Standard solutions
  • Alternate solutions for earlier versions of Coq
• How to install Rocq
  • Windows
  • Mac

Assignments

Completed assignments are to be submitted using Microsoft 365 OneDrive.

• Assignment 1 (suggested due date: October 24)
• Assignment 2 (suggested due date: October 31)
• Assignment 3 (suggested due date: November 7)

Lecture notes

• 2025-10-10
• 2025-10-20
• 2025-10-20
• 2025-10-27
• 2025-10-31
• 2025-10-31
• 2025-10-31