✳flâneur — a map of the web's best reading
blueprint.pdf
imperialcollegelondon.github.io · 42,561 words · saved by 1 readers
N/A
# link_1728dsv18h5.pdf ## Metadata - PDFFormatVersion=1.5 - IsLinearized=false - IsAcroFormPresent=false - IsXFAPresent=false - IsCollectionPresent=false - IsSignaturesPresent=false - Creator=LaTeX with hyperref - Producer=xdvipdfmx (20250205) - CreationDate=D:20260622065546Z ## Contents ### Page 1 Towards a Lean proof of Fermat’s Last TheoremKevin Buzzard, Richard Taylor June 22, 2026 ### Page 2 Contents1 Introduction 41.1 Which proof is being formalised? . . . . . . . . . . . . . . . . . . . . . . . . . 4 1.2 The structure of this blueprint . . . . . . . . . . . . . . . . . . . . . . .
Explore this link on the map →saved by
related reading
- 2510.01346arxiv.org
- Napkin.pdfvenhance.github.io
- What's new | Updates on my research and expository papers, discussion of open problems, and other maths-related topics. By Terence Taoterrytao.wordpress.com
- unit-distance-proof.pdfcdn.openai.com
- unit-distance-remarks.pdfcdn.openai.com
- web.math.princeton.edu/generals/kravitz_noahweb.math.princeton.edu
- Elliptic Curve ‘Murmurations’ Found With AI Take Flight | Quanta Magazinequantamagazine.org
- my favorite proof of fermat's little theoremblog.kayleesk.com
- Math & Engineeringxn--2-umb.com
- Square roots have no unexpected linear relationships | Annoying Precisionqchu.wordpress.com
- How Sridhar Thinkssridharramesh.github.io
- Arnold's proof of Abel-Ruffiniweb.williams.edu