Пакет: libcoq-hott (8.16-2 и други)

[ Източник: coq-hott  ]

Coq library for homotopy type theory

This library is a formalization of homotopy type theory for Coq, where propositional equality is interpreted as homotopy and type isomorphism as homotopy equivalence.

Coq is a proof assistant for higher-order logic.

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

• dep: libcoq-stdlib-bj4w1 [i386]

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

• dep: libcoq-stdlib-ctiy2 [arm64]

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

• dep: libcoq-stdlib-ewsr6 [amd64]

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

• dep: libcoq-stdlib-ig513 [ppc64el]

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

• dep: libcoq-stdlib-ntv04 [s390x]

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

• dep: libcoq-stdlib-u2uh4 [armhf]

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

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

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

Архитектура	Версия	Големина на пакета	Големина след инсталиране	Файлове
amd64	8.16-2+b1	13 774,2 кБ	125 046,0 кБ	[списък на файловете]
arm64	8.16-2+b1	13 772,3 кБ	125 046,0 кБ	[списък на файловете]
armhf	8.16-2+b1	13 766,3 кБ	124 824,0 кБ	[списък на файловете]
i386	8.16-2+b1	13 739,2 кБ	124 824,0 кБ	[списък на файловете]
ppc64el	8.16-2+b1	13 759,0 кБ	125 046,0 кБ	[списък на файловете]
s390x	8.16-2+b1	13 781,9 кБ	125 046,0 кБ	[списък на файловете]