Type Theory Forall

Kevin Buzzard has been very passionate spreading the word among mathematicians to use theo

In this episode we partner with Formal Land, a company that works in formally verifying th

In this episode we interview Lawrence Paulson, one of the creating fathers of Isabelle. We

In this episode we talk about Sigplan, the organization behind the most important conferen

In this episode Cody Roux teaches some interesting concepts that people care about in Math

In this episode Conal Elliott gives a more concrete presentation on what is Denotational D

In this episode, me and Eric Bond have a great conversation with Dan R. Ghica, a professor

In today’s episode I invite two friends of mine Patrick Lafontaine and Supun Abeysinghe. W

In this episode Cody Roux talks about the Gödel's Incompleteness Theorems. We go through i

In this episode I had the pleasure to have an in-depth conversation with Conal Elliott abo

In this episode we interview Jesper Cockx, one of the core developers on Agda. We talk abo

In this episode me, Eric and Nitin continues our conversation started in the last episode.

In this episode I gather with two good friends Eric and Nitin to randomly talk random subj

This episode is about the journey of a programmer that converted himself into a Haskell de

Talia Ringer is an Assistant Professor at University of Illinois Urbana-Champaign. She di

In this episode we have talk with Alejandro Serrano Mena, he works on 47 degrees and is a

In this episode we host a discussion between Anupam Das and Thorsten Altenkirch on the rol

In this episode I have a nice conversation with Chris Jenkins to talk about the Cedille th

In this episode we dive into Isabelle, the interactive theorem prover based on Higher Orde