Anatomy of a Lean proof for software engineers

 (agostbiro.net)

126 points | by abiro 2 days ago

73 comments