#33 Z3 and Lean, the Spiritual Journey - Leo de Moura
Автор: Type Theory Forall
Загружено: 2024-05-16
Просмотров: 224
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
Links
• Leo's Website (https://leodemoura.github.io/)
• Lean (https://leanprover.github.io/)
• Z3 (https://github.com/Z3Prover/z3)
• The Church of Logic Podcast (https://open.spotify.com/show/6vEh6Zp...)
Доступные форматы для скачивания:
Скачать видео mp4
-
Информация по загрузке:
