News for hackers. Stuff that matters.

A comment on Fermat's Last Theorem in Lean 4.

Re:Fermat's Last Theorem in Lean 4 by abhv on Friday September 04, 2026 @05:37PM (#49570524)
This is a very impressive result. Bravo to that team.
[ Parent | on HN ]

There are no comments on this comment yet.