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

Пакет: libcoq-mathcomp-analysis (1.9.0-1 и другие)

Ссылки для libcoq-mathcomp-analysis

Screenshot

Ресурсы Debian:

Исходный код mathcomp-analysis:

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

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

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

analysis extension for Mathematical Components

This package provides an extension for classical analysis for the Mathematical Components library.

The Mathematical Components library is a coherent repository of general-purpose formalized mathematical theories for the Coq proof assistant.

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

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

Загрузка libcoq-mathcomp-analysis

Загрузить для всех доступных архитектур
Архитектура Версия Размер пакета В установленном виде Файлы
amd64 1.9.0-1+b4 17 215,9 Кб70 036,0 Кб [список файлов]
arm64 1.9.0-1+b4 17 218,6 Кб70 036,0 Кб [список файлов]
ppc64el 1.9.0-1+b4 17 213,5 Кб70 036,0 Кб [список файлов]
riscv64 1.9.0-1+b3 17 211,8 Кб70 036,0 Кб [список файлов]
s390x 1.9.0-1+b3 17 215,1 Кб70 036,0 Кб [список файлов]