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