Javascript is not enabled. This site can still works but it'll be more interactive when javascript is enabled.
loading...
Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
Anatomy of a Lean proof for software engineers
https://agostbiro.net/posts/2026-10-anatomy-of-a-lean-proof/
53
abiro
|
1 day ago
|
1
|
HN
watt
1 hour ago
|
parent
This Lean stuff is gibberish and I don't understand why somebody thinks it's going to somehow make things better or simpler to understand.
reply