logical-relation

There are 0 repository under logical-relation topic.

• / VMSL

  Verifying FF-A hypercalls using VMSL.

  irislogical-relationcoqseparation-logicff-ahypercallrobust-safety
  Language:Coq 3

• / mltt-consistency

  Logical relation for predicative CC omega with booleans and an intensional identity type

  coqcoq-formalizationdependent-type-theorydependent-typeslogical-relation
  Language:TeX 1