Anatomy of a Lean Proof for Software Engineers

3 points | by abiro 8 hours ago