The Iris Tutorial is an introduction to the Iris separation logic framework and how to work with its Coq formalization. The exposition is intended for a broad range of readers from advanced ...
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 ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback