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

Връзки за libcoq-hott

Ресурси за Debian:

Изтегляне на пакет-източник coq-hott.

Отговорници:

Външни препратки:

Начална страница [github.com]

Подобни пакети:

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

зависимости

препоръчани

предложени

enhances

dep: libcoq-stdlib-1ns11 [arm64]

виртуален пакет, предлаган от libcoq-stdlib
dep: libcoq-stdlib-68yx1 [amd64]

виртуален пакет, предлаган от libcoq-stdlib
dep: libcoq-stdlib-8jeh0 [s390x]

виртуален пакет, предлаган от libcoq-stdlib
dep: libcoq-stdlib-mz9g4 [loong64]

виртуален пакет, предлаган от libcoq-stdlib
dep: libcoq-stdlib-q0rh7 [ppc64el]

виртуален пакет, предлаган от libcoq-stdlib
dep: libcoq-stdlib-twvz5 [ppc64]

виртуален пакет, предлаган от libcoq-stdlib
dep: libcoq-stdlib-wthf1 [riscv64]

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

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

Изтегляне за всички налични архитектури
Архитектура	Версия	Големина на пакета	Големина след инсталиране	Файлове
amd64	9.0-1+b2	14 346,9 кБ	62 774,0 кБ	[списък на файловете]
arm64	9.0-1+b2	14 345,3 кБ	62 774,0 кБ	[списък на файловете]
loong64 (неофициална архитектура)	8.19-2	13 892,2 кБ	163 897,0 кБ	[списък на файловете]
ppc64 (неофициална архитектура)	8.19-2	13 893,5 кБ	163 897,0 кБ	[списък на файловете]
ppc64el	9.0-1+b2	14 350,2 кБ	62 774,0 кБ	[списък на файловете]
riscv64	9.0-1+b2	14 348,2 кБ	62 774,0 кБ	[списък на файловете]
s390x	9.0-1+b2	14 344,7 кБ	62 774,0 кБ	[списък на файловете]