[ Source: why3 ]
Package: why3-coq (1.3.3-1 and others)
Links for why3-coq
Debian Resources:
Download Source Package why3:
Maintainers:
External Resources:
- Homepage [why3.lri.fr]
Similar packages:
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.
Other Packages Related to why3-coq
|
|
|
|
-
- dep: coq-8.12.0+4.11.1
- virtual package provided by coq
-
- dep: tex-common (>= 6.13)
- common infrastructure for building and installing TeX
-
- rec: why3
- Software verification platform
Download why3-coq
| Architecture | Version | Package Size | Installed Size | Files |
|---|---|---|---|---|
| amd64 | 1.3.3-1+b4 | 739.4 kB | 3,830.0 kB | [list of files] |
| arm64 | 1.3.3-1+b4 | 739.6 kB | 3,830.0 kB | [list of files] |
| armel | 1.3.3-1+b4 | 739.0 kB | 3,827.0 kB | [list of files] |
| armhf | 1.3.3-1+b4 | 739.1 kB | 3,827.0 kB | [list of files] |
| i386 | 1.3.3-1+b4 | 739.2 kB | 3,827.0 kB | [list of files] |
| mipsel | 1.3.3-1+b4 | 739.1 kB | 3,827.0 kB | [list of files] |
| ppc64el | 1.3.3-1+b4 | 739.3 kB | 3,830.0 kB | [list of files] |