Anatomy of a Lean proof for software engineers

(agostbiro.net)

12 points | by abiro a day ago ago

No comments yet.