Fermat's Last Theorem in Lean 4
By aaraujo002 · 2026-09-04 · 25 points · 5 comments
https://github.com/anthropics/fermats-last-theorem
By aaraujo002 · 25 points · 5 comments · on Hacker News, read on BetterNews.
Open the full discussion on BetterNews