Completed
Freek Wiedijk: More on HOL Light (2)
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
More on HOL Light - Lecture 2
Automatically move to the next video in the Classroom when playback concludes