AI, Lean, and the Future of Formal Verification, with Lean Creator Leo de Mourathedataexchange.media/datascientist/2 days agoTHRead at thedataexchange.media→