Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
griffzhowl
on Aug 21, 2025
|
parent
|
context
|
favorite
| on:
Project to formalise a proof of Fermat’s Last Theo...
It was called Fermat's last theorem because it was the only one of the theorems stated by Fermat that remained to be proved at the time
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search: