#45 What is Type Theory and What Properties we Should Care About - Pierre-Marie Pédrot

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.
If you enjoy the show please consider supporting us at our ko-fi: ko-fi.com/type...
Links

• Pierre-Marie's Website (www.xn--pdrot-...)

• Type Theory Forall website (www.typetheory...)

• Type Theory Forall discord ( / discord )