Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
Smaug123
10 days ago
|
parent
|
context
|
favorite
| on:
Formalizing Fermat's Last Theorem
Fortunately FLT is an
extremely
simple statement. Much easier to satisfy yourself that its statement is what you wanted to say than it would be for most statements of interest!
help
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
