mathzero, the classification problem, and set-theoretic type theory - david mcallester Published 4 years ago • 2.8K plays • Length 1:18:32 Download video MP4 Download video MP3 Similar videos 1:00:10 the meta-theory of dependent type theories - vladimir voevodsky 1:13:50 mechanism design with set-theoretic beliefs - jing chen