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 tphyahoo2 on Sunday August 03, 2025 @11:08AM (#44777080)
I'm not disagreeing (I'm on the fence. Also a bit of a nube.). I thought this was a good read and on topic.

https://www.quora.com/In-math-are-there-any-proofs-that-can-...

[ Parent | on HN ]

There are no comments on this comment yet.