Fermat's Last Theorem in Lean 4

by aaraujo002 | View on Hacker News