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