Agost's Site personal blog
Anatomy of a Lean proof for software engineers
Intro I recently worked through a problem from a theory of computation textbook that asked me to prove a property of a language using finite automata. The informal proof is a simple constructive proof where you build an automaton and show that it recognizes the language. This is kind of similar to program…
- Points
- 131
- HN comments
- 78
- Submissions
- 1
- Cited by
- 0 commenters
Software EngineeringMath & Algorithms2026
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Oct 1, 2026 | Anatomy of a Lean proof for software engineers by abiro | 131 | 78 |
