Re:Formalizing Fermat's Last Theorem
by OroPla on Friday September 04, 2026 @05:12PM
(#49570290)
Makes me feel old again. I read this over twenty years ago.
[ Parent
| on HN ]
There are no comments on this comment yet.