More reflections on Coq

Iowa Type Theory Commute

コンテンツは Aaron Stump によって提供されます。エピソード、グラフィック、ポッドキャストの説明を含むすべてのポッドキャストコンテンツは、Aaron Stump またはそのポッドキャストプラットフォームパートナーによって直接アップロードされ、提供されます。誰かがあなたの著作権で保護された作品をあなたの許可なく使用していると思われる場合は、ここで概説されているプロセスに従うことができますhttps://ja.player.fm/legal。

2+ y ago 18:28

MP3•エピソードのホーム

I talk about a couple good resources for learning Coq, the problem of too many ways to do things in type theory, and issues trying to explain and document a very complex language.

161 つのエピソード

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

More reflections on Coq

Iowa Type Theory Commute

16 subscribers

published 2+ y ago

MP3•エピソードのホーム

I talk about a couple good resources for learning Coq, the problem of too many ways to do things in type theory, and issues trying to explain and document a very complex language.

161 つのエピソード

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

すべてのエピソード

プレーヤーFMへようこそ！

Player FMは今からすぐに楽しめるために高品質のポッドキャストをウェブでスキャンしています。これは最高のポッドキャストアプリで、Android、iPhone、そしてWebで動作します。全ての端末で購読を同期するためにサインアップしてください。

500+以上のトピックを聴こう

Iowa Type Theory Commuteに似ているもの

聞く価値のあるポッドキャスト

Iowa Type Theory Commute « » More reflections on Coq

More reflections on Coq

聞く価値のあるポッドキャスト

プレーヤーFMへようこそ！

Iowa Type Theory Commuteに似ているもの

クイックリファレンスガイド

Iowa Type Theory Commute « »
More reflections on Coq