Balík: libcoq-hott (8.18-1) [debports]

[ Zdroj:  ]

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.

Ostatné balíky súvisiace s balíkom libcoq-hott

• dep: libcoq-stdlib-n0k10

  virtuálny balík poskytovaný balíkom libcoq-stdlib

Stiahnuť libcoq-hott

Stiahnuť pre všetky dostupné architektúry

Architektúra	Veľkosť balíka	Nainštalovaná veľkosť	Súbory
ppc64 (neoficiálny port)	14,018.2 kB	119,377.0 kB	[zoznam súborov]