From Z3 to Lean, Efficient Verification - Dr Leonardo de Moura

Explore the journey from Z3 to Lean in this 26-minute seminar by Dr. Leonardo de Moura at the Alan Turing Institute. Delve into the world of efficient verification techniques, understanding the evolution from the Z3 theorem prover to the Lean proof assistant. Gain insights into the advancements in automated reasoning and formal verification methods, and discover how these tools are revolutionizing the field of computer science and mathematics. Learn about the key differences between Z3 and Lean, their respective strengths, and the potential applications in various domains of research and industry.