Patrick Massot - Formal mathematics for mathematicians and mathematics students - IPAM at UCLA
Download MP3Related Videos
1:00:36 49:10 46:29 1:31 1:05:41 54:44 30:03 1:15:33 37:30 0:31 22:00 1:00:12 50:59 50:55 54:32 1:19:41 51:09 51:42 1:10:12 1:05:57