#33 Z3 and Lean, the Spiritual Journey - Leo de Moura
Leo de Moura
September 9, 20232h 5mExplicit
Audio is streamed directly from the publisher (api.typetheoryforall.com) as published in their RSS feed. Play Podcasts does not host this file. Rights-holders can request removal through the copyright & takedown page.
Show Notes
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.
If you enjoy the show please consider supporting us at our ko-fi: https://ko-fi.com/typetheoryforall