AI, Lean, and the Future of Formal Verification, with Lean Creator Leo de Moura
By datascientist · 2026-10-29 · 9 points · 0 comments
https://thedataexchange.media/leo-de-moura-lean-aws/
By datascientist · 9 points · 0 comments · on Hacker News, read on BetterNews.
Open the full discussion on BetterNews