все параметры
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 Кб [список файлов]