| Authors | François Bobot, Jean-Christophe Filliâtre, Claude Marché, Guillaume Melquiond and Andrei Paskevich |
|---|
| License | GNU Lesser General Public License version 2.1 |
|---|
| Homepage | http://why3.lri.fr/ |
|---|
| Issue Tracker | https://gforge.inria.fr/tracker/?func=browse&group_id=2990&atid=10293 |
|---|
| Tags | deductive, program verification, formal specification, automated theorem prover and interactive theorem prover |
|---|
| Maintainer | guillaume.melquiond@inria.fr |
|---|
| Dependencies | |
|---|
| Optional dependencies | |
|---|
| Available | ocaml-version >= "4.01.0" & ocaml-version < "4.06.0" |
|---|
| Published | Jul 9, 2016 |
|---|
| Source [http] | https://gforge.inria.fr/frs/download.php/file/35893/why3-0.87.1.tar.gz
f1780c8579e6fec9a7ece3ecd05a01e2 |
|---|
| Statistics | Not installed in the last month. |
|---|
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/why3-base/why3-base.0.87.1/opam |
|---|
