News for hackers. Stuff that matters.

A comment on Formalizing Fermat's Last Theorem. Parent comment

Re:Formalizing Fermat's Last Theorem by tonyedgecombe on Saturday September 05, 2026 @03:44AM (#49574124)
Also https://www.bbc.co.uk/iplayer/episode/b0074rxx/horizon-19951... (if you are in the UK).
[ Parent | on HN ]

There are no comments on this comment yet.