#34 Foundations of Theorem Provers and Cedille2 - Andrew Marmaduke
Andrew Marmaduke
October 16, 20231h 28mExplicit
Audio is streamed directly from the publisher (api.typetheoryforall.com) as published in their RSS feed. Play Podcasts does not host this file. Rights-holders can request removal through the copyright & takedown page.
Show Notes
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.
If you enjoy the show please consider supporting us at our ko-fi: https://ko-fi.com/typetheoryforall