[ bookworm ] [ trixie ] [ forky ] [ sid ]

[ 源代码： coq-unicoq ]

软件包：libcoq-unicoq（1.6-8.20-1 以及其他的）

libcoq-unicoq 的相关链接

Debian 的资源：

下载源码包 coq-unicoq：

维护小组：

外部的资源：

主页 [github.com]

相似软件包：

enhanced unification algorithm for Coq

This package provides a new unification algorithm, replacing the existing one through a plugin.

Coq is a proof assistant for higher-order logic.

其他与 libcoq-unicoq 有关的软件包

依赖

推荐

建议

增强

dep: libcoq-stdlib-1ns11 [arm64]

本虚包由这些包填实： libcoq-stdlib
dep: libcoq-stdlib-68yx1 [amd64]

本虚包由这些包填实： libcoq-stdlib
dep: libcoq-stdlib-8jeh0 [s390x]

本虚包由这些包填实： libcoq-stdlib
dep: libcoq-stdlib-q0rh7 [ppc64el]

本虚包由这些包填实： libcoq-stdlib
dep: libcoq-stdlib-wthf1 [riscv64]

本虚包由这些包填实： libcoq-stdlib

下载 libcoq-unicoq

下载可用于所有硬件架构的
硬件架构	版本	软件包大小	安装后大小	文件
amd64	1.6-8.20-1+b4	84.6 kB	612.0 kB	[文件列表]
arm64	1.6-8.20-1+b4	88.2 kB	740.0 kB	[文件列表]
ppc64el	1.6-8.20-1+b4	87.0 kB	740.0 kB	[文件列表]
riscv64	1.6-8.20-1+b4	87.2 kB	636.0 kB	[文件列表]
s390x	1.6-8.20-1+b4	86.3 kB	690.0 kB	[文件列表]