Fermat's Last Theorem Blueprint

 Fermat's Last Theorem Blueprint🔗

This repository is the Verso blueprint integration layer for the FLT project. It keeps the blueprint code at the repository root while treating FLT/ as the upstream formalization checkout.

Contents

  1. 1. Introduction
  2. 2. First Reductions Of The Problem
  3. 3. Reducibility Of p-Torsion Of The Frey Curve
  4. 4. An overview of the proof
  5. 5. An Example Of An Automorphic Form
  6. 6. Stating the modularity lifting theorems
  7. 7. Automorphic forms and the Langlands Conjectures
  8. 8. Miniproject: Frobenius Elements
  9. 9. Miniproject: Adeles
  10. 10. Miniproject: Haar Characters
  11. 11. Miniproject: Fujisaki's Lemma
  12. 12. Miniproject: Quaternion algebras
  13. 13. Miniproject: Hecke Operators
  14. 14. Appendix: A collection of results which are needed in the proof.
  15. Dependency Graph
  16. Blueprint Summary
  17. Blueprint Bibliography