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.1.tar.gz
sha256=7ce28e92d67619f52eb7c61a4f37d628e7f48e882a9d2b716e1b443d4c0240e2
md5=0bde834d8b5dfe8e944bc58f4c73378e
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/why3-base/why3-base.0.88.1/opam
Required by