News for hackers. Stuff that matters.

A comment on Formalizing Fermat's Last Theorem. Parent comment

Re:Formalizing Fermat's Last Theorem by derkha on Saturday September 05, 2026 @04:23AM (#49574371)
No, comparator does check the entire closure
[ Parent | on HN ]

There are no comments on this comment yet.