aboutlogic #19 | Homotopy Type Theory, Narya & the Future of Proof Assistants with Mike Shulman

カートのアイテムが多すぎます

ご購入は五十タイトルがカートに入っている場合のみです。

カートに追加できませんでした。

しばらく経ってから再度お試しください。

ウィッシュリストに追加できませんでした。

しばらく経ってから再度お試しください。

ほしい物リストの削除に失敗しました。

しばらく経ってから再度お試しください。

ポッドキャストのフォローに失敗しました

ポッドキャストのフォロー解除に失敗しました

aboutlogic #19 | Homotopy Type Theory, Narya & the Future of Proof Assistants with Mike Shulman

無料で聴く

ポッドキャストの詳細を見る

Homotopy Type Theory, Narya & the Future of Proof Assistants with Michael Shulman. How does homotopy type theory bridge the gap between abstract mathematics and computational proof systems? Mike Shulman (University of San Diego) joins Deniz and Thorsten to discuss his journey from topology to higher observational type theory, the development of the Narya proof assistant, and how these tools are reshaping the way we think about equality, equivalence, and computation in mathematics.

まだレビューはありません