Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
RodgerTheGreat
on March 23, 2012
|
parent
|
context
|
favorite
| on:
The Proof Is Trivial
This would be even better if it was possible to annotate the randomly generated "proof" description with links to any actual proofs following that skeletal description.
Consider applying for YC's Spring batch! Applications are open till Feb 11.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
