Пакет: mathcomp-doc (2.5.0-2)

Ссылки для mathcomp-doc

Ресурсы Debian:

Исходный код ssreflect:

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

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

Сайт [math-comp.github.io]

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

Экспериментальный пакет

Предупреждение: данный пакет находится в экспериментальной ветке дистрибутива. Это означает, что он нестабилен или содержит ошибки, и даже может вызвать потерю данных. Перед использованием внимательно прочитайте файл changelog и другую доступную документацию.

Mathematical Components library for Coq (doc)

Загрузка mathcomp-doc

Загрузить для всех доступных архитектур
Архитектура	Размер пакета	В установленном виде	Файлы
all	3 559,5 Кб	146 432,0 Кб	[список файлов]