News for hackers. Stuff that matters.

A comment on New Shape Opens ‘Wormhole’ Between Numbers and Geometry. Parent comment

Re:New Shape Opens ‘Wormhole’ Between Numbers and Geometry by infogulch on Monday July 19, 2021 @11:07PM (#27889689)
Didn't Kevin Buzzard work on a proof related to perfectoid spaces using Lean theorem prover that featured here a few months ago?
[ Parent | on HN ]
Re:New Shape Opens ‘Wormhole’ Between Numbers and Geometry by jesuslop on Monday July 26, 2021 @08:17AM (#27958484)
Yep, you are right. Kevin Buzzard, Johan Commelin, and Patrick Massot, slide 31 at

https://robertylewis.com/files/lean_intro_slides.pdf

[ Parent | on HN ]