Anatomy of a Lean proof for software engineers

 (agostbiro.net)

21 points | by abiro 1 day ago

0 comments