News for hackers. Stuff that matters.

A comment on Lean proof of Fermat's Last Theorem [pdf]. Parent comment

Re:Lean proof of Fermat's Last Theorem [pdf] by generationP on Wednesday August 20, 2025 @06:44PM (#44967295)
And soon it will be "but I don't want to learn Lean".
[ Parent | on HN ]

There are no comments on this comment yet.