News for hackers. Stuff that matters.

A comment on Formalizing Fermat's Last Theorem.

Re:Formalizing Fermat's Last Theorem by maw on Friday September 04, 2026 @05:55PM (#49570698)
I have discovered a truly marvellous proof of this, which this margin is too narrow bear the load.
[ Parent | on HN ]

There are no comments on this comment yet.