Anatomy of a Lean proof for software engineers

 (agostbiro.net)

16 points | by abiro 1 day ago

0 comments