T thedataexchange.media AI, Lean, and the Future of Formal Verification, with Lean Creator Leo de Moura 74 points datascientist 1 day ago 16 comments
