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/
Issue Tracker https://gforge.inria.fr/tracker/?func=browse&group_id=2990&atid=10293
Tags { deductive, program verification, formal specification, automated theorem prover, interactive theorem prover }
Maintainer guillaume.melquiond@inria.fr
Dependencies
& menhir
ocamlfind
Optional dependencies
| camlzip
conf-gtksourceview
coq
lablgtk
ocamlgraph
zarith
Available ocaml-version >= "4.01.0"
Published Jan 11, 2017
Source [http] http://gforge.inria.fr/frs/download.php/file/36398/why3-0.87.3.tar.gz
ea24a4877ca09e2ec4fff19d5f4d35c6
Statistics Installed 302 times in last month.
Edit https://github.com/ocaml/opam-repository/tree/master/packages/why3-base/why3-base.0.87.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.87.3