3 ms·
Didn't Kevin Buzzard work on a proof related to perfectoid spaces using Lean theorem prover that featured here a few months ago?
by infogulch 5y ago
Didn'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