/SmallStepNI

Mechanization of a noninterference proof for a toy imperative language with small-step semantics in Coq

Primary LanguageCoq

No issues in this repository yet.