all options
stretch  ] [  buster  ] [  sid  ]
[ Source: why3  ]

Package: why3-coq (1.1.1-1)

Links for why3-coq

Screenshot

Debian Resources:

Download Source Package why3:

Maintainers:

External Resources:

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

  • depends
  • recommends
  • suggests
  • enhances

Download why3-coq

Download for all available architectures
Architecture Package Size Installed Size Files
amd64 574.9 kB2,701.0 kB [list of files]
arm64 575.2 kB2,701.0 kB [list of files]
armel 574.3 kB2,696.0 kB [list of files]
armhf 575.1 kB2,696.0 kB [list of files]
i386 573.8 kB2,695.0 kB [list of files]
mips 574.2 kB2,696.0 kB [list of files]
mips64el 575.6 kB2,700.0 kB [list of files]
mipsel 574.6 kB2,696.0 kB [list of files]
ppc64el 575.0 kB2,701.0 kB [list of files]
s390x 574.8 kB2,701.0 kB [list of files]