AI, Lean, and the Future of Formal Verification, with Lean Creator Leo de Moura(thedataexchange.media)
193 points by datascientist | 45 comments
Podcast episode and transcript of The Data Exchange where Ben Lorica interviews Lean creator Leo de Moura about AI, formal verification, and verified software.