TLDR · QUICK LINKS

THE FERMAT'S LAST THEOREM PROJECT

leanprover-community.github.io7 min read

Summary from the TLDR newsletter

Fermat's Last Theorem is the claim that some abstract equations have no solutions in positive integers.