rocq-community / semanticsLinks

A survey of semantics styles in Coq, from natural semantics through structural operational, axiomatic, and denotational semantics, to abstract interpretation [maintainer=@k4rtik]
52Updated 3 weeks ago

Alternatives and similar repositories for semantics

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

Sorting: