package coq-cfml

  1. Overview
  2. No Docs
A tool for proving OCaml programs in Separation Logic

Install

Dune Dependency

gitlab.inria.fr Edit opam file Versions (3)

Authors

  1. A
    Arthur Charguéraud <arthur.chargueraud@inria.fr>

Maintainers

  1. A
    armael.gueneau@inria.fr

Sources

archive.tar.gz
sha512=a8fc7142a21263b38db4178246eb03ab6b3d888f591e9ac2621a45b26d63bcfd0ef9f4d10277a3c82e0f5ad0ea2c7784e7da16526504b78f0ce60eb9713ace68

Description

Published: 04 Dec 2018

Dependencies (6)

  1. coq-tlc >= "20181116" & < "20200328"
  2. coq >= "8.6"
  3. base-bytes
  4. pprint < "20220103"
  5. ocamlbuild build
  6. ocaml >= "4.03.0" & < "4.08.0"

Dev Dependencies

None

Used by

None

Conflicts

None