#9 Logic and Proof Theory
May 28th 2021
May 10th 2021
#7 Hacking Isabelle's Internals
April 15th 2021
#6 All The Dumb Questions on Gradual Types
March 29th 2021
#5 The History of Coq'Art
February 27th 2021
#4 Theorem Provers, Functional Programming and Companies
February 15th 2021
In this episode we host Eric Bond to go through some real cool projects happening in the PL World and some of the companies behind them.
We discuss some technical differences between the major interactive theorem provers out there, some of their most popular projects, and a few companies that work in the realm.
During the episode we mention PL Talks and the Midlands Graduate School in the Foundations of Computing Science 2021.Download .mp3 (65.8M)
Tweet comments powered by Disqus