все параметры
bookworm  ] [  trixie  ] [  sid  ]
[ Источник: coq-unimath  ]

Пакет: libcoq-unimath (20231010-1)

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

Screenshot

Ресурсы Debian:

Исходный код coq-unimath:

Сопровождающие:

Внешние ресурсы:

Подобные пакеты:

univalent formalization of mathematics for Coq

This package provides a library to formalize a substantial body of mathematics using the univalent point of view.

Coq is a proof assistant for higher-order logic.

Другие пакеты, относящиеся к libcoq-unimath

  • зависимости
  • рекомендации
  • предложения
  • enhances

Загрузка libcoq-unimath

Загрузить для всех доступных архитектур
Архитектура Размер пакета В установленном виде Файлы
amd64 41 947,7 Кб403 485,0 Кб [список файлов]
arm64 41 942,9 Кб403 485,0 Кб [список файлов]
armhf 41 943,6 Кб403 471,0 Кб [список файлов]
i386 41 944,6 Кб403 471,0 Кб [список файлов]
ppc64el 41 944,5 Кб403 485,0 Кб [список файлов]
s390x 41 942,9 Кб403 485,0 Кб [список файлов]