coq-semantics

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
homepage
https://github.com/coq-community/semantics
license
MIT
bugs tracker
https://github.com/coq-community/semantics/issues
dependencies
"coq" {>= "8.10"} "ocamlbuild" {build}
source
https://github.com/coq-community/semantics/archive/v8.11.1.tar.gz
package
https://github.com/coq/opam-coq-archive/tree/master/released/packages/coq-semantics/coq-semantics.8.11.1