Anatomy of a Lean proof for software engineersagostbiro.net
68 points by abiro 1 days ago | 6 comments