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.85.tar.gz
sha256=ee2aa4ae0d9ed5ccceadb9dd9c43d2c4c4f6e2d31eb9a0b5df76630a4abb416a
md5=f6d36c0dc43fe75af148d92d76b15937
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/why3-base/why3-base.0.85/opam
Required by