package why3-base
Why3 environment for deductive program verification (base)
Install
Dune Dependency
Authors
Maintainers
Sources
why3-0.88.3.tar.gz
sha256=3e6afd141800dce4d722794378e3eb8a9a05a06f8e51d520ff72159a3c6e3552
md5=1ee0fd41075ba5e77a4b94ad0cc2dd43
Description
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 proverPublished: 12 Jan 2018
On This Page