There are 0 repository under coq-formalizations topic.
Coq formalizations of functional languages.
Scala Step-by-Step: Soundness for DOT with Step-Indexed Logical Relations in Iris — Coq Formalization