AI, Lean, and the Future of Formal Verification, with Lean Creator Leo de Moura Link: https://thedataexchange.media/leo-de-moura-lean-aws/ Discussion: https://news.ycombinator.com/item?id=50290652