News for hackers. Stuff that matters.

A comment on Formalizing Fermat's Last Theorem.

Re:Formalizing Fermat's Last Theorem by andychiare on Saturday September 05, 2026 @04:18AM (#49574334)
We are in the context of "who verifies the verifier?" :-)
[ Parent | on HN ]

There are no comments on this comment yet.