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

why3-coq 的相关链接

Debian 的资源：

下载源码包 why3：

维护小组：

外部的资源：

主页 [why3.lri.fr]

相似软件包：

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)

用于构建和安装 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	[文件列表]