5
Project to formalise a proof of Fermat’s Last Theorem in the Lean theorem prover
(imperialcollegelondon.github.io)
this post was submitted on 21 Aug 2025
5 points (100.0% liked)
Hacker News
2562 readers
362 users here now
Posts from the RSS Feed of HackerNews.
The feed sometimes contains ads and posts that have been removed by the mod team at HN.
founded 1 year ago
MODERATORS
there doesn't seem to be anything here