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.88.3.tar.gz
sha256=3e6afd141800dce4d722794378e3eb8a9a05a06f8e51d520ff72159a3c6e3552
md5=1ee0fd41075ba5e77a4b94ad0cc2dd43
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/why3-base/why3-base.0.88.3/opam
Required by