package cfml

  1. Overview
  2. Docs
The CFML program verification tool

Install

Dune Dependency

gitlab.inria.fr CC-BY-4.0 License Edit opam file Versions (3)

Authors

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

Maintainers

  1. A
    arthur.chargueraud@inria.fr

Sources

archive.tar.gz
md5=8b968b59c4b309ca55e57f2f04027899
sha512=a73364e03f57bef82ff55d84fa9f895415a0ad148e4fba3863bf976ed41c5bc3bf03eac1e120d117576e4976a1f549d30ce67d2b5eefb5cb7935563fed078864

Description

Published: 03 Jan 2022

Dependencies (4)

  1. pprint >= "20200410"
  2. menhir >= "20201216"
  3. dune >= "2.0.0"
  4. ocaml >= "4.08.0"

Dev Dependencies

None

Used by

None

Conflicts

None

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct