GitHub – anthropics/fermats-last-theorem · GitHub
🚀 Read this awesome post from Hacker News 📖
📂 **Category**:
📌 **What You’ll Learn**:
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, Wi...
