Y
Hacker News
new | ask | show | jobs
Anatomy of a Lean proof for software engineers
16 points by abiro a day ago | 0 comments