package why3-base
Why3 environment for deductive program verification (base)
Install
Dune Dependency
Authors
Maintainers
Sources
why3-0.86.3.tar.gz
sha256=037cdfc2c79118eca43f4cd97c3b7a83eb3b302bf57260e6028524f54834f06a
md5=910d5acca0082e94b8a86baf01600e03
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: 09 Feb 2016
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page