package coq-cfml
A tool for proving OCaml programs in Separation Logic
Install
Dune Dependency
Authors
Maintainers
Sources
archive.tar.gz
sha512=ee6c62a7b7885aa9b443da97fb1b1d20e30d383d59ff2affebca7f35880c3396549b6e7c4547087e9d6eef5185b77ecf1adc78e94ced20c7c6c052db68a5caf5
Description
Published: 11 May 2019
Dependencies (6)
-
coq-tlc
>= "20171206" -
coq
>= "8.6" & < "8.9" - base-bytes
-
pprint
< "20220103" -
ocamlbuild
build -
ocaml
>= "4.03.0" & < "4.07.0"
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page