Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
practal
3 days ago
|
parent
|
context
|
favorite
| on:
From Zero to QED: An informal introduction to form...
In principle, this is how these systems work. In practice, there are usually plenty of things that make it difficult to say for sure if you have a proof of something.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search: