why3-base

Why3 environment for deductive program verification (base)
Description

This package is for advanced users only, normal users should use the full why3 package.

Install
deductive program verification formal specification automated theorem prover interactive theorem prover
Documentation failed to build. why3.lri.fr Edit opam file
Published
12 Jan 2018
Authors
Maintainers
Sources
why3-0.88.3.tar.gz
md5=1ee0fd41075ba5e77a4b94ad0cc2dd43
Dependencies
num
menhir
ocamlfind build
ocaml >= "4.02.3" & < "4.07.0"
Reverse Dependencies
why3 = "0.88.3"
Conflicts
coq >= "8.8"
coq < "8.4"
ocamlgraph < "1.8.2"
lablgtk < "2.14.2"