Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
ngruhn
6 days ago
|
parent
|
context
|
favorite
| on:
Formalizing Fermat's Last Theorem
Yes. The point was not coming up with the proof from scratch. The point was writing it all down in Lean to make it fully machine checkable.
help
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
