aslanix / SmallStepNILinks

Mechanization of a noninterference proof for a toy imperative language with small-step semantics in Coq
18Updated 5 years ago

Alternatives and similar repositories for SmallStepNI

Users that are interested in SmallStepNI are comparing it to the libraries listed below

Sorting: