Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
graycat
6 months ago
|
parent
|
context
|
favorite
| on:
Who Can Understand the Proof? A Window on Formaliz...
In proofs in math, there is the old: "Elegance is directly proportional to what you can see in it and inversely proportional to the effort it takes to see it."
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:
