AI, Lean, and the Future of Formal Verification, with Lean Creator Leo de Moura 31 points by datascientist 1 days ago 2 comments story
Hacker News