GoKawiil
Tech News
clear
Topic Analysis:
Today
This Week
This Month
This Year
1.
Project to formalise a proof of Fermat’s Last Theorem in the Lean theorem prover
(news.ycombinator.com)
2025-10-31 |
related products
| tags:
fermat
,
information
,
kevin
2.
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
(news.ycombinator.com)
2025-10-31 |
related products
| tags:
fermat
,
information
,
project
Today's top topics:
disrupt waitlist
author
bars
birthdate
birthdate word
candy
algorithm
american
tiktok
videos
View all today's topics →