package why3-base
Why3 environment for deductive program verification (base)
Install
Dune Dependency
Authors
Maintainers
Sources
why3-0.86.1.tar.gz
sha256=a7ada8bec9b6717257f2932d8b42e5e3f2dd63800f5e9a3f4004229b0efe3389
md5=43ab4c224b025c2e3dd5526fa6bef181
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 May 2015
On This Page