Completed
Yuma Mizuno - Lean theorem prover and monoidal category theory
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
Lean Theorem Prover and Monoidal Category Theory
Automatically move to the next video in the Classroom when playback concludes
