Anatomy of a Lean proof for software engineers

 (agostbiro.net)

35 points | by abiro a day ago ago

No comments yet.