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/
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.