package why3-base

  1. Overview
  2. No Docs
Why3 environment for deductive program verification (base)

Install

Dune Dependency

Authors

Maintainers

Sources

why3-0.87.3.tar.gz
sha256=6a8ac5539a65a5e2c63f46e3d8f9f69059b931e261fc4caca879d218b8d9c9ba
md5=ea24a4877ca09e2ec4fff19d5f4d35c6

Description

This package is for advanced users only, normal users should use the full why3 package.

Dependencies (4)

  1. num
  2. menhir
  3. ocamlfind
  4. ocaml >= "4.01.0" & < "4.06.0"

Dev Dependencies

None

Used by (1)

  1. why3 = "0.87.3"

Conflicts (4)

  1. coq >= "8.7"
  2. coq < "8.4"
  3. ocamlgraph < "1.8.2"
  4. lablgtk < "2.14.2"
OCaml

Innovation. Community. Security.