why3-base

Authors { François Bobot, Jean-Christophe Filliâtre, Claude Marché, Guillaume Melquiond, Andrei Paskevich }
License GNU Lesser General Public License version 2.1
Homepage http://why3.lri.fr/
Tags { deductive, program verification, formal specification, automated theorem prover, interactive theorem prover }
Maintainer Claude.Marche@inria.fr
Dependencies
& menhir
ocamlfind
Optional dependencies
| camlzip
conf-gtksourceview
coq
lablgtk
ocamlgraph
zarith
Available ocaml-version >= "4.01.0"
Published Feb 8, 2016
Source [http] http://gforge.inria.fr/frs/download.php/file/35537/why3-0.86.3.tar.gz
910d5acca0082e94b8a86baf01600e03
Statistics Installed 2 times in last month.
Edit https://github.com/ocaml/opam-repository/tree/master/packages/why3-base/why3-base.0.86.3/opam

Why3 environment for deductive program verification (base)

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

Necessary for
why3
& >= 0.86.3
0.87.0