Completed
Florian Rabe: HOL+Dependent Types + Subtyping
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
HOL with Dependent Types and Subtyping
Automatically move to the next video in the Classroom when playback concludes