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

Ссылки для libcoq-hott

Отслеживание заплат eLxr

Исходный код 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

Загрузка libcoq-hott

Загрузить для всех доступных архитектур
Архитектура	Версия	Размер пакета	В установленном виде	Файлы
amd64	9.0-1+b2	14 346,9 Кб	62 774,0 Кб	[список файлов]
arm64	9.0-1+b2	14 345,3 Кб	62 774,0 Кб	[список файлов]