GitHub repository: shawn-mcadam/Math460Assignments
Primary language: Lean
Description: Assignments for Computer Aided Math: Category Theory in Lean 4