OCaml logo

why3-base

Why3 environment for deductive program verification (base)
Overview Documentation
Description

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

Install
http://why3.lri.fr/
deductive program verification formal specification automated theorem prover interactive theorem prover
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"