package why3-base
Why3 environment for deductive program verification (base)
Install
Dune Dependency
Authors
Maintainers
Sources
why3-0.87.1.tar.gz
sha256=8bf3f8e6a511187d4a06ca632af5d00a0b7347cd10fd5edbe5fb4e679c9851eb
md5=f1780c8579e6fec9a7ece3ecd05a01e2
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: 11 Jul 2016
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page