Re:Formalizing Fermat's Last Theorem
by beng-nl on Saturday September 05, 2026 @04:13AM
(#49574308)
I think this is a Fermat joke :-)
[ Parent
| on HN ]
There are no comments on this comment yet.