4 ms·
Kevin Buzzard (a professional mathematician) has a few good talks about Lean https://youtu.be/Dp-mQ3HxgDE https://youtu.be/Dp-mQ3HxgDE from 2019 at MS Research
by pas 3y ago
Kevin Buzzard (a professional mathematician) has a few good talks about Lean
https://youtu.be/Dp-mQ3HxgDE https://youtu.be/Dp-mQ3HxgDE from 2019 at MS Research
https://www.youtube.com/watch?v=SEID4XYFN7o&t=4m35s https://www.youtube.com/watch?v=SEID4XYFN7o&t=4m35s (2022 at ICM international math congress)
- JonChesterfield 3y agoYoutube has forgotten what "audio" is for me so noting the first talk is also at https://www.microsoft.com/en-us/research/video/the-future-of-mathematics/ https://www.microsoft.com/en-us/research/video/the-future-of... - which is using youtube - but manages to make noises. Which I suppose is a pointwise instance arguing that software does not work as well as it might do.