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]
51Updated 3 years ago

Alternatives and similar repositories for semantics

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

Sorting: