nixpkgs / coqPackages.semantics - A survey of semantics styles in Coq, from natural semantics through structural operational, axiomatic, and denotational semantics, to abstract interpretation

Homepage - https://github.com/coq-community/semantics

License - MIT

Maintainers - Siraphob Phipathananunth

Releases

8.13.0 (expand/collapse)
From commit 059c8fc4 to 00460bd6