Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
thaumasiotes
on Sept 2, 2024
|
parent
|
context
|
favorite
| on:
Interactive Linear Algebra Dan Margalit, Joseph Ra...
> They skip steps in writing because they can generally do them and it obscures the flow of the argument to have every thing spelled out.
They do that in lean too; that's the idea of simp.
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:
They do that in lean too; that's the idea of simp.