Post #231627 2.94K Sep 4, 2026, 21:46 UTC Fermat's Last Theorem in Lean 4Article, Comments GitHub GitHub - anthropics/fermats-last-theorem Contribute to anthropics/fermats-last-theorem development by creating an account on GitHub. 💩 12 ❤ 6 🤩 6 🌭 2 🖕 1