Completed
Machine-Checked Proofs and the Rise of Formal Methods in Mathematics | Theoretically Speaking
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
Machine-Checked Proofs and the Rise of Formal Methods in Mathematics - Theoretically Speaking
Automatically move to the next video in the Classroom when playback concludes