Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
Almondsetat
3 days ago
|
parent
|
context
|
favorite
| on:
Why formalize mathematics – more than catching err...
Being sure that you are proving the right thing is something that can never be formally guaranteed.
Consider applying for YC's Winter 2026 batch! Applications are open till Nov 10
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search: