dot-calculus topic

List dot-calculus repositories

Stars

Forks

Watchers

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