A Blueprint for Fermat’s Last Theorem
This is a project to formalize a modern proof of FLT in Lean.
See also: https://github.com/ImperialCollegeLondon/FLT

Comments ⌘ Read more