why3-baseversion

Why3 environment for deductive program verification (base)

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

Tags deductive program verification formal specification automated theorem prover interactive theorem prover
AuthorsFrançois Bobot, Jean-Christophe Filliâtre, Claude Marché, Guillaume Melquiond and Andrei Paskevich
LicenseGNU Lesser General Public License version 2.1
Published
Homepagehttp://why3.lri.fr/
Issue Trackerhttps://gforge.inria.fr/tracker/?func=browse&group_id=2990&atid=10293
Maintainerguillaume.melquiond@inria.fr
Dependencies
Optional dependencies
Conflicts
Source [http] https://gforge.inria.fr/frs/download.php/file/36398/why3-0.87.3.tar.gz
md5=ea24a4877ca09e2ec4fff19d5f4d35c6
StatisticsInstalled 13 times last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/why3-base/why3-base.0.87.3/opam
Required by