انتقل إلى وضع عدم الاتصال باستخدام تطبيق Player FM !
#34 Foundations of Theorem Provers and Cedille2 - Andrew Marmaduke
Manage episode 420953612 series 2951423
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
Links
94 حلقات
Manage episode 420953612 series 2951423
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
Links
94 حلقات
كل الحلقات
×مرحبًا بك في مشغل أف ام!
يقوم برنامج مشغل أف أم بمسح الويب للحصول على بودكاست عالية الجودة لتستمتع بها الآن. إنه أفضل تطبيق بودكاست ويعمل على أجهزة اندرويد والأيفون والويب. قم بالتسجيل لمزامنة الاشتراكات عبر الأجهزة.