Anatomy of a Lean proof for software engineers

 (agostbiro.net)

23 points | by abiro 1 day ago

0 comments