Read news on Fermat with our app.
Read more in the app
Lean proof of Fermat's Last Theorem [pdf]
Project to formalise a proof of Fermat’s Last Theorem in the Lean theorem prover
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
Fermat's Last Theorem – how it’s going
The Fermat's Last Theorem Project
