Binary package “why3-coq” in ubuntu bionic
Coq support for the why3 verification platform
This package contains the compiled coq files that are necessary to
use the coq proof assistant together with the why3 deductive
verification platform, as well as the why3 tactic for coq.
Source package
Published versions
- why3-coq 0.88.3-1ubuntu4 in amd64 (Proposed)
- why3-coq 0.88.3-1ubuntu4 in amd64 (Release)
- why3-coq 0.88.3-1ubuntu4 in arm64 (Proposed)
- why3-coq 0.88.3-1ubuntu4 in arm64 (Release)
- why3-coq 0.88.3-1ubuntu4 in armhf (Proposed)
- why3-coq 0.88.3-1ubuntu4 in armhf (Release)
- why3-coq 0.88.3-1ubuntu4 in i386 (Proposed)
- why3-coq 0.88.3-1ubuntu4 in i386 (Release)
- why3-coq 0.88.3-1ubuntu4 in ppc64el (Proposed)
- why3-coq 0.88.3-1ubuntu4 in ppc64el (Release)
- why3-coq 0.88.3-1ubuntu4 in s390x (Proposed)
- why3-coq 0.88.3-1ubuntu4 in s390x (Release)