Getting started with DCS

Iowa Type Theory Commute

المحتوى المقدم من Aaron Stump. يتم تحميل جميع محتويات البودكاست بما في ذلك الحلقات والرسومات وأوصاف البودكاست وتقديمها مباشرة بواسطة Aaron Stump أو شريك منصة البودكاست الخاص بهم. إذا كنت تعتقد أن شخصًا ما يستخدم عملك المحمي بحقوق الطبع والنشر دون إذنك، فيمكنك اتباع العملية الموضحة هنا https://ar.player.fm/legal.

2y ago 17:23

MP3•منزل الحلقة

In this episode, I talk more about the DCS tool, and invite listeners to check it out and possibly contribute! The repo is here.

178 حلقات

#Science #Tech #Math #Aaron Stump #Programming Language #Computational Logic #Type Theory #Proof Assistants #Cedille

Getting started with DCS

Iowa Type Theory Commute

14 subscribers

published 2y ago

MP3•منزل الحلقة

In this episode, I talk more about the DCS tool, and invite listeners to check it out and possibly contribute! The repo is here.

178 حلقات

#Science #Tech #Math #Aaron Stump #Programming Language #Computational Logic #Type Theory #Proof Assistants #Cedille

كل الحلقات

مرحبًا بك في مشغل أف ام!

يقوم برنامج مشغل أف أم بمسح الويب للحصول على بودكاست عالية الجودة لتستمتع بها الآن. إنه أفضل تطبيق بودكاست ويعمل على أجهزة اندرويد والأيفون والويب. قم بالتسجيل لمزامنة الاشتراكات عبر الأجهزة.

الاستماع إلى +500 موضوع

مشابه لـIowa Type Theory Commute

المدونة الصوتية تستحق الاستماع

Iowa Type Theory Commute « » Getting started with DCS

Getting started with DCS

المدونة الصوتية تستحق الاستماع

مرحبًا بك في مشغل أف ام!

مشابه لـIowa Type Theory Commute

دليل مرجعي سريع

Iowa Type Theory Commute « »
Getting started with DCS