News for hackers. Stuff that matters.

A comment on Fermat's Last Theorem in Lean – Imperial College London. Parent comment

Re:Fermat's Last Theorem in Lean – Imperial College London by bananaflag on Sunday August 03, 2025 @02:36PM (#44778636)
A purely universal statement, to be more clear.
[ Parent | on HN ]

There are no comments on this comment yet.