Anatomy of a Lean Proof for Software Engineers

(agostbiro.net)

6 points | by abiro a day ago ago

No comments yet.