A agostbiro.net Anatomy of a Lean proof for software engineers 131 points abiro 1 month ago 78 comments
