Logo

Type Theory Forall

Type Theory much beyond inference rules

Last Episodes

image

Mario Carneiro is the creator of Mathlib, Lean4Lean and Metamath0. He is currently doing his Postdoc at Chalmers University working on CakeML. In this episode we talk about foundations of theorem prov

Nov 6th 2024 134 min
image

In this episode Eric Bond and Patrick Lafontaine joins us to talk about the life in industry vs the life in academia. Eric is a PhD student at Michigan University under Max New, he works with some pre

Sep 13th 2024 62 min

All Episodes

Fabrizio Montesi

Aug 29th 2024   |  113 min

Satnam Singh

Aug 15th 2024   |  101 min

Joe Kiniry

Jul 15th 2024   |  69 min

David Christiansen

Jun 13th 2024   |  110 min

David Christiansen

May 16th 2024   |  116 min

Guannan Wei

Mar 11th 2024   |  113 min

Pedro Abreu

Dec 26th 2023   |  110 min

Eduardo Rafael

Dec 4th 2023   |  81 min

Andrew Marmaduke

Oct 16th 2023   |  88 min

Leo de Moura

Sep 9th 2023   |  125 min

Jan de Muijnck-Hughes

Jul 22nd 2023   |  101 min

Jan de Muijnck-Hughes

Jul 13th 2023   |  130 min

Dan and Pedro

May 30th 2023   |  105 min

Jimmy Koppel

Apr 9th 2023   |  84 min

Pruvendo

Feb 15th 2023   |  71 min

Gerwin Klein

Feb 4th 2023   |  119 min

Kevin Buzzard

Jan 16th 2023   |  136 min

Formal Land

Nov 21st 2022   |  62 min

Lawrence Paulson

Oct 6th 2022   |  98 min

Jens Palsberg and Jonathan Aldrich

Sep 24th 2022   |  72 min

Cody Roux

Aug 12th 2022   |  139 min

Conal Elliott

Aug 4th 2022   |  187 min

Dan R. Ghica

Jun 28th 2022   |  97 min

Patrick and Supun

Jun 4th 2022   |  112 min

Cody Roux

May 19th 2022   |  170 min

Conal Elliott

May 9th 2022   |  213 min

Jesper Cockx

Apr 2nd 2022   |  96 min

Nitin and Eric

Mar 27th 2022   |  78 min

Nitin and Eric

Feb 12th 2022   |  57 min

John Wiegley

Dec 23rd 2021   |  100 min

Talia Ringer

Nov 10th 2021   |  66 min

Alejandro Serrano

Oct 4th 2021   |  67 min

Thorsten Altenkirch and Anupam Das

Jul 15th 2021   |  77 min

Anupam Das

May 28th 2021   |  57 min

Chris Jenkins

May 11th 2021   |  66 min

Dan Matichuk

Apr 16th 2021   |  81 min

Zeina Migeed

Mar 29th 2021   |  39 min

Yves Bertot

Feb 27th 2021   |  72 min

Dan Zheng

Feb 1st 2021   |  68 min

Rajan Walia and John Sarracino

Jan 10th 2021   |  77 min

Prof. Ben Delaware

Dec 23rd 2020   |  58 min

Pedro Abreu

Dec 14th 2020   |  32 min