dot-iris
Scala Step-by-Step: Soundness for DOT with Step-Indexed Logical Relations in Iris — Coq Formalization
31 stars
5 watching
1 forks
Language: HTML
last commit: about 1 month ago coqcoq-formalizationcoq-formalizationsdot-calculuspapersoundnesstype-theory