• POPLmark Reloaded, Part 2

  • 2024/12/23
  • 再生時間： 14 分
  • ポッドキャスト

POPLmark Reloaded, Part 2

無料で聴く

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

  • サマリー

  • I continue the discussion of POPLmark Reloaded , discussing the solutions proposed to the benchmark problem. The solutions are in the Beluga, Coq (recently renamed Rocq), and Agda provers.
    続きを読む 一部表示

あらすじ・解説

I continue the discussion of POPLmark Reloaded , discussing the solutions proposed to the benchmark problem. The solutions are in the Beluga, Coq (recently renamed Rocq), and Agda provers.
続きを読む 一部表示

POPLmark Reloaded, Part 2に寄せられたリスナーの声

カスタマーレビュー：以下のタブを選択することで、他のサイトのレビューをご覧になれます。

Audible.co.jp

Amazon.co.jp
レビューはまだありません。