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 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 ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback