coq-cfml

A tool for proving OCaml programs in Separation Logic

opam install coq-cfml.20181201
homepage
https://gitlab.inria.fr/charguer/cfml
license
CeCILL-B
bugs tracker
https://gitlab.inria.fr/charguer/cfml/issues
dependencies
"ocaml" {>= "4.03.0" & < "4.08.0"} "ocamlbuild" {build} "pprint" "base-bytes" "coq" {>= "8.6"} "coq-tlc" {>= "20181116" & < "20200328"}
source
https://gitlab.inria.fr/charguer/cfml/repository/20181201/archive.tar.gz
package
https://github.com/coq/opam-coq-archive/tree/master/released/packages/coq-cfml/coq-cfml.20181201