Пакунок: libcoq-hott (8.19-1) [debports]

[ Source:  ]

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-pyy86

  virtual package provided by libcoq-stdlib

Завантажити libcoq-hott

Завантаження для всіх доступних архітектур

Архітектура	Розмір пакунка	Розмір після встановлення	Файли
ppc64 (unofficial port)	13,893.3 kB	163,897.0 kB	[список файлів]