Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
marcosdumay
on Jan 9, 2015
|
parent
|
context
|
favorite
| on:
Mathematician's anger over his unread 500-page pro...
The space of proofs is enormous. Model checkers and proof assistants will probably become user friendly much sooner than they'll get good enough heuristics to navigate such spaces.
Consider applying for YC's Fall 2025 batch! Applications are open till Aug 4
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search: