Get the latest tech news

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

None

Get the Android app