why3-base

AuthorsFrançois Bobot, Jean-Christophe Filliâtre, Claude Marché, Guillaume Melquiond and Andrei Paskevich
LicenseGNU Lesser General Public License version 2.1
Homepagehttp://why3.lri.fr/
Issue Trackerhttps://gforge.inria.fr/tracker/?func=browse&group_id=2990&atid=10293
Tagsdeductive, program verification, formal specification, automated theorem prover and interactive theorem prover
Maintainerguillaume.melquiond@inria.fr
Dependencies
&menhir
num
ocamlfind
Optional dependencies
|camlzip
conf-gtksourceview
coq
lablgtk
ocamlgraph
zarith
Availableocaml-version >= "4.01.0" & ocaml-version < "4.06.0"
PublishedJul 9, 2016
Source [http] https://gforge.inria.fr/frs/download.php/file/35893/why3-0.87.1.tar.gz
f1780c8579e6fec9a7ece3ecd05a01e2
StatisticsNot installed in the last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/why3-base/why3-base.0.87.1/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.87.1
0.87.2