Anatomy of a Lean proof for software engineers
128 points · 76 comments · abiro
Unofficial Hacker News client; not affiliated with Y Combinator.
WalterGR · · focus · HN ↗
alexeldeib · · focus · HN ↗
WalterGR · · focus · HN ↗
abiro · · focus · HN ↗