Lean proof of Fermat's Last Theorem [pdf]

[ljlolel]

Article URL: https://imperialcollegelondon.github.io/FLT/blueprint.pdf

Comments URL: https://news.ycombinator.com/item?id=44964693

Points: 50

# Comments: 30