package why3-base
Why3 environment for deductive program verification (base)
Install
Dune Dependency
Authors
Maintainers
Sources
why3-0.86.2.tar.gz
sha256=20bccdf715a2409e5b69516da8c8da8760c2a245099a0a6c4fe27a736b3b4a23
md5=ef0f4c133fc0da25a6b90adefddefa9a
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: 14 Oct 2015
On This Page