套件：why3-coq（1.3.3-1 以及其他的）

[ 原始碼： why3  ]

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.

其他與 why3-coq 有關的套件

• dep: coq-8.12.0+4.11.1

  本虛擬套件由這些套件填實： coq

• dep: tex-common (>= 6.13)

  common infrastructure for building and installing TeX

• rec: why3

  Software verification platform

下載 why3-coq

下載可用於所有硬體架構的

硬體架構	版本	套件大小	安裝後大小	檔案
amd64	1.3.3-1+b4	739。4 kB	3，830。0 kB	[檔案列表]
arm64	1.3.3-1+b4	739。6 kB	3，830。0 kB	[檔案列表]
armel	1.3.3-1+b4	739。0 kB	3，827。0 kB	[檔案列表]
armhf	1.3.3-1+b4	739。1 kB	3，827。0 kB	[檔案列表]
i386	1.3.3-1+b4	739。2 kB	3，827。0 kB	[檔案列表]
mipsel	1.3.3-1+b4	739。1 kB	3，827。0 kB	[檔案列表]
ppc64el	1.3.3-1+b4	739。3 kB	3，830。0 kB	[檔案列表]