#26 Mechanizing Modern Mathematics - Kevin Buzzard
Type Theory Forall
Kevin Buzzard has been very passionate spreading the word among mathematicians to use theorem provers mechanize theorems of modern mathematics. In this conversation we will talk about his vision in teaching undergrads to use the Lean theorem prover, what is the Xena Project, his view of how theorem provers can change the way we do mathematics, and much more!
Links
Next Episodes
#25 Formally Verifying the Tezos Codebase - Formal Land @ Type Theory Forall
๐ 2022-11-21 15:05 / โ 01:01:32
#24 The History of Isabelle - Lawrence Paulson @ Type Theory Forall
๐ 2022-10-06 23:05 / โ 01:38:02
#23 What is the SIGPLAN? - Jens Palsberg and Jonathan Aldrich @ Type Theory Forall
๐ 2022-09-24 13:15 / โ 01:13:05
#22 Impredicativity, LEM, Realizability and more - Cody Roux @ Type Theory Forall
๐ 2022-08-12 17:15 / โ 02:19:23
#21 Denotational Design - Conal Elliott @ Type Theory Forall
๐ 2022-08-04 21:30 / โ 03:07:26