4 ms·
Here's a video of Voevodsky delivering the presentation, https://www.youtube.com/watch?v=E9RiR9AcXeE https://www.youtube.com/watch?v=E9RiR9AcXeE
by jimminy 11y ago
Here's a video of Voevodsky delivering the presentation,
https://www.youtube.com/watch?v=E9RiR9AcXeE https://www.youtube.com/watch?v=E9RiR9AcXeE