package coq-cfml
A tool for proving OCaml programs in Separation Logic
Install
Dune Dependency
Authors
Maintainers
Sources
archive.tar.gz
sha512=a8fc7142a21263b38db4178246eb03ab6b3d888f591e9ac2621a45b26d63bcfd0ef9f4d10277a3c82e0f5ad0ea2c7784e7da16526504b78f0ce60eb9713ace68
Description
Published: 04 Dec 2018
Dependencies (6)
-
coq-tlc
>= "20181116" & < "20200328" -
coq
>= "8.6" - base-bytes
-
pprint
< "20220103" -
ocamlbuild
build -
ocaml
>= "4.03.0" & < "4.08.0"
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page