Anatomy of a Lean proof for software engineers
By abiro · 2026-10-01 · 42 points · 0 comments
https://agostbiro.net/posts/2026-10-anatomy-of-a-lean-proof/
By abiro · 42 points · 0 comments · on Hacker News, read on BetterNews.
Open the full discussion on BetterNews