package why3-base
Why3 environment for deductive program verification (base)
Install
Dune Dependency
Authors
Maintainers
Sources
why3-0.88.2.tar.gz
sha256=83f2c8887aa9717d5dcc03bde16b495a93819826f7a06277adbdf2f3be33d8f8
md5=72f185431d909aeb6b0a1e7043a600ec
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: 07 Dec 2017
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page