Anatomy of a Lean proof for software engineers Link: https://agostbiro.net/posts/2026-10-anatomy-of-a-lean-proof/ Discussion: https://news.ycombinator.com/item?id=49925602