Fermat's Last Theorem in Lean 4https://news.ycombinator.com/item?id=49568697https://github.com/anthropics/fermats-last-theorem
Fermat's Last Theorem in Lean 4https://news.ycombinator.com/item?id=49568697https://github.com/anthropics/fermats-last-theorem