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.86.3.tar.gz
sha256=037cdfc2c79118eca43f4cd97c3b7a83eb3b302bf57260e6028524f54834f06a
md5=910d5acca0082e94b8a86baf01600e03
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/why3-base/why3-base.0.86.3/opam
Required by