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

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

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

Screenshot

Ресурсы Debian:

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

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

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

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

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

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

Extended standard library for Coq

This package provides an extended standard library for Coq, for instance:

 - a great number of definitions and lemmas for common data
structures like lists, finite maps and finite multisets ;
 - type classes for common properties like decidable equality,
finiteness or countability ;
 - various tactics for common tasks ;
all of this dependency-free and axiom-free.

Coq is a proof assistant for higher-order logic.

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

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

Загрузка libcoq-stdpp

Загрузить для всех доступных архитектур
Архитектура Версия Размер пакета В установленном виде Файлы
amd64 1.12.0-1+b5 4 793,4 Кб16 960,0 Кб [список файлов]
arm64 1.12.0-1+b2 4 871,1 Кб17 286,0 Кб [список файлов]
armhf 1.12.0-1 4 870,4 Кб17 242,0 Кб [список файлов]
i386 1.12.0-1 4 869,0 Кб17 242,0 Кб [список файлов]
ppc64el 1.12.0-1+b2 4 870,8 Кб17 286,0 Кб [список файлов]
riscv64 1.12.0-1+b1 4 870,6 Кб17 286,0 Кб [список файлов]
s390x 1.12.0-1+b1 4 871,6 Кб17 286,0 Кб [список файлов]
sparc64 (неофициальный перенос) 1.12.0-1 4 871,4 Кб17 285,0 Кб [список файлов]