Pakiet: libcoq-hott (8.18-3 i inne)

Odnośniki dla libcoq-hott

Zasoby systemu Debian:

Pobieranie pakietu źródłowego coq-hott:

Opiekunowie:

Zasoby zewnętrzne:

Strona internetowa [github.com]

Podobne pakiety:

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.

Inne pakiety związane z libcoq-hott

wymaga

poleca

sugeruje

enhances

dep: libcoq-stdlib-84f80 [amd64]

pakiet wirtualny udostępniany przez libcoq-stdlib
dep: libcoq-stdlib-8u5j8 [armhf]

pakiet wirtualny udostępniany przez libcoq-stdlib
dep: libcoq-stdlib-97v84 [arm64]

pakiet wirtualny udostępniany przez libcoq-stdlib
dep: libcoq-stdlib-l2kk4 [riscv64]

pakiet wirtualny udostępniany przez libcoq-stdlib
dep: libcoq-stdlib-n0k10 [ppc64]

pakiet wirtualny udostępniany przez libcoq-stdlib
dep: libcoq-stdlib-nhhu6 [ppc64el]

pakiet wirtualny udostępniany przez libcoq-stdlib
dep: libcoq-stdlib-tp8b6 [i386]

pakiet wirtualny udostępniany przez libcoq-stdlib
dep: libcoq-stdlib-wsmp7 [s390x]

pakiet wirtualny udostępniany przez libcoq-stdlib

Pobieranie libcoq-hott

Pobierz dla wszystkich dostępnych architektur
Architektura	Wersja	Rozmiar pakietu	Rozmiar po instalacji	Pliki
amd64	8.18-3+b1	12 329,8 KiB	114 994,0 KiB	[lista plików]
arm64	8.18-3+b1	12 330,6 KiB	114 994,0 KiB	[lista plików]
armhf	8.18-3+b1	12 325,7 KiB	114 621,0 KiB	[lista plików]
i386	8.18-3+b1	12 324,8 KiB	114 621,0 KiB	[lista plików]
ppc64 (port nieoficjalny)	8.18-1	14 018,2 KiB	119 377,0 KiB	[lista plików]
ppc64el	8.18-3+b1	12 330,8 KiB	114 994,0 KiB	[lista plików]
riscv64	8.18-3+b1	12 330,2 KiB	114 994,0 KiB	[lista plików]
s390x	8.18-3+b1	12 330,4 KiB	114 994,0 KiB	[lista plików]