4 ms·
Slightly misleading title- this is the overall blueprint for a large ongoing effort by the Imperial College London to formalize FLT in Lean, not the proof itsel
by eig 1y ago
Slightly misleading title- this is the overall blueprint for a large ongoing effort by the Imperial College London to formalize FLT in Lean, not the proof itself (which is huge).
The project webpage has more information about the efforts and how to contribute:
https://imperialcollegelondon.github.io/FLT/ https://imperialcollegelondon.github.io/FLT/
- deleted 1y ago[deleted]
- aardvark179 1y agoThank you. I saw the headline and was thinking things had progress surprisingly quickly.
- ljlolel 1y agoThat’s the title I saw!
- tomhow 1y agoWe've updated the title and URL now, thanks!