ended9월 5일· 1 sources
Fermat's Last Theorem in Lean 4
Why it matters
A complete, machine-checked proof of Fermat's Last Theorem in Lean 4, built on Mathlib (Lean 4.33.1; Mathlib v4.33.0 , pinned by commit in lakefile.lean ). The argument is that of Frey, Serre, Ribet, ...
1
Sources
+0
24h
—
Growth
16d
Active