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 |
---|---|
Authors | François Bobot, Jean-Christophe Filliâtre, Claude Marché, Guillaume Melquiond and Andrei Paskevich |
License | LGPL-2.1-only |
Published | |
Homepage | http://why3.lri.fr/ |
Issue Tracker | https://gitlab.inria.fr/why3/why3/issues |
Maintainer | guillaume.melquiond@inria.fr |
Dependencies | |
Optional dependencies | |
Conflicts |
|
Source [http] | https://why3.gitlabpages.inria.fr/releases/why3-0.85.tar.gz sha256=ee2aa4ae0d9ed5ccceadb9dd9c43d2c4c4f6e2d31eb9a0b5df76630a4abb416a md5=f6d36c0dc43fe75af148d92d76b15937 |
Edit | https://github.com/ocaml/opam-repository/tree/master/packages/why3-base/why3-base.0.85/opam |
Required by
- why3=0.85