Anatomy of a Lean proof for software engineers(agostbiro.net)
103 points by abiro | 33 comments
A blog post walking software engineers through the structure of a Lean proof, using a finite automata problem from a theory of computation textbook.
agostbiro.net on Hacker News
1 story on the front page, newest first. Scroll down to watch the site change over time.