package why3-base
Why3 environment for deductive program verification (base)
Install
Dune Dependency
Authors
Maintainers
Sources
why3-0.87.2.tar.gz
sha256=593b38acc700a746ebfd740b83860b0aead6b51c09a65c678c2f094e36f49111
md5=9849179d6f02587a8fa3d1b6afa13479
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: 04 Sep 2016
On This Page