Lean proof of Fermat's Last Theorem [pdf]

Project to formalise a proof of Fermat’s Last Theorem in the Lean theorem prover

A Blueprint for Fermat’s Last Theorem