package why3-base
Why3 environment for deductive program verification (base)
Install
Dune Dependency
Authors
Maintainers
Sources
why3-0.88.0.tar.gz
sha256=523b2566aa8f2089e52d2ea78bce310a7668c1e488fca49b3272ccef1c24bda4
md5=1aef885ff8eee34107585e11db623a8d
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: 13 Oct 2017
On This Page