Blaisorblade / dot-iris

Scala Step-by-Step: Soundness for DOT with Step-Indexed Logical Relations in Iris — Coq Formalization
30Updated 2 weeks ago

Related projects

Alternatives and complementary repositories for dot-iris