▲0AI, Lean, and the Future of Formal Verification, with Lean Creator Leo de Moura1 day ago·0 comments·flag