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
LicenseLGPL-2.1-only
Published
Homepagehttp://why3.lri.fr/
Issue Trackerhttps://gitlab.inria.fr/why3/why3/issues
Maintainerguillaume.melquiond@inria.fr
Dependencies
Optional dependencies
Conflicts
Source [http] https://why3.gitlabpages.inria.fr/releases/why3-0.87.2.tar.gz
sha256=593b38acc700a746ebfd740b83860b0aead6b51c09a65c678c2f094e36f49111
md5=9849179d6f02587a8fa3d1b6afa13479
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/why3-base/why3-base.0.87.2/opam
Required by