Пакет: libcoq-paramcoq (1.1.3+coq8.18-1 и други)

[ Източник: paramcoq  ]

Coq plugin to generate parametricity statements

This package provides a plugin for Coq to generate parametricity statements, typically used in data refinement proofs.

Coq is a proof assistant for higher-order logic.

Други пакети, свързани с libcoq-paramcoq

• dep: libcoq-stdlib-84f80 [amd64]

  виртуален пакет, предлаган от libcoq-stdlib

• dep: libcoq-stdlib-8u5j8 [armhf]

  виртуален пакет, предлаган от libcoq-stdlib

• dep: libcoq-stdlib-97v84 [arm64]

  виртуален пакет, предлаган от libcoq-stdlib

• dep: libcoq-stdlib-l2kk4 [riscv64]

  виртуален пакет, предлаган от libcoq-stdlib

• dep: libcoq-stdlib-n0k10 [ppc64]

  виртуален пакет, предлаган от libcoq-stdlib

• dep: libcoq-stdlib-nhhu6 [ppc64el]

  виртуален пакет, предлаган от libcoq-stdlib

• dep: libcoq-stdlib-tp8b6 [i386]

  виртуален пакет, предлаган от libcoq-stdlib

• dep: libcoq-stdlib-wsmp7 [s390x]

  виртуален пакет, предлаган от libcoq-stdlib

Изтегляне на libcoq-paramcoq

Изтегляне за всички налични архитектури

Архитектура	Версия	Големина на пакета	Големина след инсталиране	Файлове
amd64	1.1.3+coq8.18-1+b1	113,9 кБ	890,0 кБ	[списък на файловете]
arm64	1.1.3+coq8.18-1+b1	120,7 кБ	1 114,0 кБ	[списък на файловете]
armhf	1.1.3+coq8.18-1+b1	110,2 кБ	648,0 кБ	[списък на файловете]
i386	1.1.3+coq8.18-1+b1	102,3 кБ	744,0 кБ	[списък на файловете]
ppc64 (неофициална архитектура)	1.1.3+coq8.17-2	114,5 кБ	1 110,0 кБ	[списък на файловете]
ppc64el	1.1.3+coq8.18-1+b1	115,2 кБ	986,0 кБ	[списък на файловете]
riscv64	1.1.3+coq8.18-1+b1	114,2 кБ	906,0 кБ	[списък на файловете]
s390x	1.1.3+coq8.18-1+b1	115,2 кБ	946,0 кБ	[списък на файловете]