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

Package: why3-coq (0.87.3-2 and others)

Links for why3-coq


Debian Resources:

Download Source Package why3:


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, as well as the why3 tactic for coq.

Other Packages Related to why3-coq

  • depends
  • recommends
  • suggests
  • enhances

Download why3-coq

Download for all available architectures
Architecture Version Package Size Installed Size Files
amd64 0.87.3-2+b1 5,017.3 kB21,650.0 kB [list of files]
arm64 0.87.3-2+b1 4,973.5 kB21,501.0 kB [list of files]
armel 0.87.3-2+b1 5,018.4 kB20,384.0 kB [list of files]
armhf 0.87.3-2+b1 5,060.9 kB19,784.0 kB [list of files]
i386 0.87.3-2+b1 4,867.9 kB20,346.0 kB [list of files]
mips 0.87.3-2+b1 4,940.0 kB20,227.0 kB [list of files]
mips64el 0.87.3-2+b1 4,942.3 kB20,234.0 kB [list of files]
mipsel 0.87.3-2+b1 4,941.5 kB20,227.0 kB [list of files]
ppc64el 0.87.3-2+b1 4,941.0 kB20,234.0 kB [list of files]
s390x 0.87.3-2+b1 4,940.4 kB20,234.0 kB [list of files]