Ben Lorica personal blog
AI, Lean, and the Future of Formal Verification, with Lean Creator Leo de Moura
Leo de Moura on Formal Proofs, AI Agents, and the End of “Trust Me” Code. Subscribe: Apple • Spotify • … More
- Points
- 219
- HN comments
- 59
- Submissions
- 1
- Cited by
- 0 commenters
AI & Machine LearningSoftware Engineering2026
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Oct 29, 2026 | AI, Lean, and the Future of Formal Verification, with Lean Creator Leo de Moura by datascientist | 219 | 59 |
