Coq OPAMcoq-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