AI, Lean, and the Future of Formal Verification, with Lean Creator Leo de Mourathedataexchange.media
46 points by datascientist 2 days ago | 6 comments