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.1.tar.gz
sha256=8bf3f8e6a511187d4a06ca632af5d00a0b7347cd10fd5edbe5fb4e679c9851eb
md5=f1780c8579e6fec9a7ece3ecd05a01e2
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/why3-base/why3-base.0.87.1/opam
Required by