Anatomy of a Lean proof for software engineers

 (agostbiro.net)

24 points | by abiro 1 day ago

0 comments