AI, Lean creator Leo de Moura discuss the future of formal verification
Read the original at thedataexchange.media→Original headline: "AI, Lean, and the Future of Formal Verification, with Lean Creator Leo de Moura"
Coverage timeline
- Oct 29, 15:29 UTC Hacker News (AI) lead source AI, Lean, and the Future of Formal Verification, with Lean Creator Leo de Moura