Completed
Natarajan Shankar: Beautiful Formalizations and Proofs
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
Beautiful Formalizations and Proofs in Mechanized Mathematics
Automatically move to the next video in the Classroom when playback concludes