#33 Z3 and Lean, the Spiritual Journey - Leo de Moura

Type Theory Forall

• Episode: #33 Z3 and Lean, the Spiritual Journey - Leo de Moura
• Website: Type Theory Forall
• Feed URL: https://www.typetheoryforall.com/episodes.mp3.rss
• Duration: 02:05:07
• Published: 2023-09-09 16:40

Not satisfied with implementing one of the most popular automated theorem provers, Z3, Leo de Moura also tackles another extremely hard problem in our field and implements a brand new interactive theorem prover from scratch, Lean. In this episode we dive into the mind and philosophy of this man.

Links

• Leo's Website
• Lean
• Z3
• The Church of Logic Podcast