Completed
What is HoTT? (Steve Awodey, Carnegie Mellon University)
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
What is Homotopy Type Theory (HoTT)?
Automatically move to the next video in the Classroom when playback concludes