Anatomy of a Lean proof for software engineers

by abiro | View on Hacker News