small-step-semantics topic

List small-step-semantics repositories

Stars

Forks

Watchers

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