Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
golol
on May 8, 2024
|
parent
|
context
|
favorite
| on:
A Rosetta Stone for Mathematics: André Weil's 1940...
This is not true. If the right abstractions are used, proofs in Lean for example can be quite readable and concise.
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:
