Anatomy of a Lean Proof for Software Engineers

(agostbiro.net)

3 points | by abiro 8 hours ago ago