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