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=ee6c62a7b7885aa9b443da97fb1b1d20e30d383d59ff2affebca7f35880c3396549b6e7c4547087e9d6eef5185b77ecf1adc78e94ced20c7c6c052db68a5caf5

Description

Published: 11 May 2019

Dependencies (6)

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

Dev Dependencies

None

Used by

None

Conflicts

None