The slides for the tutorial's lecture component are at talks/iris-popl21-tutorial.pdf. You can also watch the recording of this talk from POPL'21. The Coq demo source is in demo.v. The tutorial ...
The slides for the tutorial's lecture component are at talks/iris-popl21-tutorial.pdf. You can also watch the recording of this talk from POPL'21. The Coq demo source is in demo.v. The tutorial ...
一部の結果でアクセス不可の可能性があるため、非表示になっています。
アクセス不可の結果を表示する
フィードバック