#44 Theorem Prover Foundations, Lean4Lean, Metamath - Mario Carneiro
Type Theory Forall
00:00
Intro
This chapter features a guest with extensive expertise in type theory and formal methods, discussing his academic contributions and ongoing research. The hosts delve into foundational issues such as proof systems and their semantics, emphasizing the significance of open education in the field.
Transcript
Play full episode
