coq-formalizations

There are 0 repository under coq-formalizations topic.

• discus-lang / iron

  Coq formalizations of functional languages.

  coqlambda-calculustheoryproofcoq-formalizations
  Language:Coq 139

• Blaisorblade / dot-iris

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

  coqtype-theorycoq-formalizationdot-calculussoundnesscoq-formalizationspaper
  Language:HTML 30