package coq-charge-core
A framework of typeclasses for shallow embeddings of intuitionistic
Install
Dune Dependency
Authors
Maintainers
Sources
v1.2.0.tar.gz
md5=8aeff5cebd29965b53698740a3fa493b
Description
logics. Also includes definitions for separation algebras.
Published: 28 Jul 2017
Dependencies (3)
-
coq-ext-lib
>= "0.9.6" -
coq
(>= "8.6" & < "8.7~") | (>= "8.7.2" & < "8.10~") - ocaml
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page