4 ms·
It's about Scholze work on perfectoid spaces. A nice intro talk in Spanish is at https://cienciastv.org.mx/2020/08/el-mundo-perfectoide-adrian-zenteno/ https://
by jesuslop 5y ago
It's about Scholze work on perfectoid spaces. A nice intro talk in Spanish is at https://cienciastv.org.mx/2020/08/el-mundo-perfectoide-adrian-zenteno/ https://cienciastv.org.mx/2020/08/el-mundo-perfectoide-adria...
- infogulch 5y agoDidn't Kevin Buzzard work on a proof related to perfectoid spaces using Lean theorem prover that featured here a few months ago?
- jesuslop 5y agoYep, you are right. Kevin Buzzard, Johan Commelin, and Patrick Massot, slide 31 at https://robertylewis.com/files/lean_intro_slides.pdf https://robertylewis.com/files/lean_intro_slides.pdf