Artwork

Science Tech Pedro Abreu Type Theory Academia Programming Language

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

Type Theory Forall « »
#44 Theorem Prover Foundations, Lean4Lean, Metamath - Mario Carneiro

11M ago 2:13:31

مشاركة

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

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

Mario Carneiro is the creator of Mathlib, Lean4Lean and Metamath0. He is currently doing his Postdoc at Chalmers University working on CakeML. In this episode we talk about foundations of theorem provers, type systems properties, semantics and interoperabilities.

If you enjoy the show please consider supporting us at our ko-fi: https://ko-fi.com/typetheoryforall

Links

… continue reading

93 حلقات

#Science #Tech #Pedro Abreu #Type Theory #Academia #Programming Language

Artwork

#44 Theorem Prover Foundations, Lean4Lean, Metamath - Mario Carneiro

Type Theory Forall

26 subscribers

published 11M ago

مشاركة

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

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

Mario Carneiro is the creator of Mathlib, Lean4Lean and Metamath0. He is currently doing his Postdoc at Chalmers University working on CakeML. In this episode we talk about foundations of theorem provers, type systems properties, semantics and interoperabilities.

If you enjoy the show please consider supporting us at our ko-fi: https://ko-fi.com/typetheoryforall

Links

… continue reading

93 حلقات

#Science #Tech #Pedro Abreu #Type Theory #Academia #Programming Language

كل الحلقات

×

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

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

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

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

أعلى المدونة الصوتية

SciDose بودكاست

Quizeculo كويزيكيلو

فكر فيها

Alkshkool بودكاست الكشكول

ترند بودكاست

المحور الثاني

بودكاست كلام

KBS WORLD Radio نشرة الأخبار

Arabic News - NHK WORLD RADIO JAPAN

بزنس بالعربي (Business بالعربى )

Science Quickly

بودكاست علمي جدا

بداية الحكاية

Damiri | داميري

mishbilshibshib | مش بالشبشب

مساعدة / أسئلة شائعة | ترقية | يعلن

فنون|اعمال|كوميديا|اقتصاد|ترفيه|أخبار|سياسة|دين

علم|كرة القدم|رياضات|سرد القصص|تقنية|جريمة حقيقية

حقوق الطبع والنشر 2025 | سياسة الخصوصية | شروط الخدمة | | حقوق النشر

استمع إلى هذا العرض أثناء الاستكشاف