3 ms·
Computerphile did some videos on voevodsky and homotopy type theory: https://www.youtube.com/watch?v=v5a5BYZwRx8 https://www.youtube.com/watch?v=v5a5BYZwRx8 (w
by mathgenius 9y ago
Computerphile did some videos on voevodsky and homotopy type theory:
https://www.youtube.com/watch?v=v5a5BYZwRx8 https://www.youtube.com/watch?v=v5a5BYZwRx8
(watch those eyes! I like how they bug out when he gets really excited.)