#45 What is Type Theory and What Properties we Should Care About - Pierre-Marie Pédrot
Nov 24, 2024
01:21:41
forum Ask episode
view_agenda Chapters
auto_awesome Transcript
info_circle Episode notes
In this episode Pierre-Marie Pédrot who is one of the main Coq/Rocq developers joins us to talk about what is Type Theory, what is Martin-Löf Type Theory, what are the properties we should care about in our type theory and why.
Type Theory Forall