80-715 Seminar on Homotopy Type Theory
12 units, Carnegie Mellon University
Research seminar in homotopy type theory
Prerequisites: none listed
Offered: Spring 2027, Fall 2026, Fall 2025
Courseweave needs JavaScript to show sections, workloads and planning tools.