![Type Theory Forall podcast](/assets/images/square.png)
#34 Foundations of Theorem Provers and Cedille2 - Andrew Marmaduke
16/10/2023
0:00
1:28:27
Andrew Marmaduke is a PhD Candidate from the University of Iowa, he works under Aaron Stump and has been working on revamping the theorem prover Cedille 2. In this episode we tackle fundamental questions about the foundations of the theorem provers, Cedille and Cedille 2.
Links
D'autres épisodes de "Type Theory Forall"
Ne ratez aucun épisode de “Type Theory Forall” et abonnez-vous gratuitement à ce podcast dans l'application GetPodcast.