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

Пакет: libcoq-core-ocaml (8.19.1+dfsg-3 и другие)

Ссылки для libcoq-core-ocaml

Screenshot

Ресурсы Debian:

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

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

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

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

runtime libraries for Coq

Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5.

This package provides runtime libraries for Coq.

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

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

Загрузка libcoq-core-ocaml

Загрузить для всех доступных архитектур
Архитектура Версия Размер пакета В установленном виде Файлы
amd64 8.19.1+dfsg-3+b2 24 478,4 Кб59 069,0 Кб [список файлов]
arm64 8.19.1+dfsg-3+b2 24 879,3 Кб65 091,0 Кб [список файлов]
ppc64el 8.19.1+dfsg-3+b3 24 496,7 Кб63 367,0 Кб [список файлов]
riscv64 8.19.1+dfsg-3+b2 24 543,5 Кб60 878,0 Кб [список файлов]
s390x 8.19.1+dfsg-3+b2 24 506,8 Кб63 357,0 Кб [список файлов]