github.com/coq/opam-coq-archive
A survey of semantics styles, from natural semantics through structural operational, axiomatic, and denotational semantics, to abstract interpretation
opam install coq-semantics.8.11.1