Type Theory Forall

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

Type Theory Forall

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

Next Episodes

Type Theory Forall

#32 TyDe Systems - Jan de Muijnck-Hughes @ Type Theory Forall

πŸ“† 2023-07-22 17:50 / βŒ› 01:41:23


Type Theory Forall

#32 TyDe Systems - Jan de Muijnck-Hughes @ Type Theory Forall

πŸ“† 2023-07-22 17:50 / βŒ› 01:41:23


Type Theory Forall

#32 TyDe Systems - Jan de Muijnck-Hughes @ Type Theory Forall

πŸ“† 2023-07-22 17:50 / βŒ› 01:41:23