Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
griffzhowl
5 months ago
|
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: