Pakiet: libcoq-hott (8.16-2 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-bj4w1 [i386]

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

pakiet wirtualny udostępniany przez libcoq-stdlib
dep: libcoq-stdlib-ewsr6 [amd64]

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

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

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

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.16-2+b1	13 774,2 KiB	125 046,0 KiB	[lista plików]
arm64	8.16-2+b1	13 772,3 KiB	125 046,0 KiB	[lista plików]
armhf	8.16-2+b1	13 766,3 KiB	124 824,0 KiB	[lista plików]
i386	8.16-2+b1	13 739,2 KiB	124 824,0 KiB	[lista plików]
ppc64el	8.16-2+b1	13 759,0 KiB	125 046,0 KiB	[lista plików]
s390x	8.16-2+b1	13 781,9 KiB	125 046,0 KiB	[lista plików]