why3-base
  1. Overview
  2. No Docs

Description

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

Dependencies (4)

  1. num
  2. menhir
  3. ocamlfind build
  4. ocaml >= "4.02.3" & < "4.07.0"

Dev Dependencies

None

Used by (1)

  1. why3 = "0.88.3"

Conflicts (4)

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