Blaisorblade / dot-iris

Scala Step-by-Step: Soundness for DOT with Step-Indexed Logical Relations in Iris — Coq Formalization
30Updated this week

Related projects

Alternatives and complementary repositories for dot-iris