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

Пакет: libcoq-serapi-ocaml-dev (8.20.0+0.20.0-1 и другие)

Ссылки для libcoq-serapi-ocaml-dev

Screenshot

Ресурсы Debian:

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

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

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

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

interaction with Coq (devel)

SerAPI provides a library for machine-to-machine interaction with Coq with particular emphasis on integrated development environments, code analysis tools and machine learning.

Coq is a proof assistant for higher-order logic.

This package provides libraries needed to develop for the serapi plugin.

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

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

Загрузка libcoq-serapi-ocaml-dev

Загрузить для всех доступных архитектур
Архитектура Версия Размер пакета В установленном виде Файлы
amd64 8.20.0+0.20.0-1+b4 16 989,7 Кб36 423,0 Кб [список файлов]
arm64 8.20.0+0.20.0-1+b4 17 166,7 Кб38 282,0 Кб [список файлов]
ppc64el 8.20.0+0.20.0-1+b4 17 352,6 Кб41 403,0 Кб [список файлов]
riscv64 8.20.0+0.20.0-1+b4 18 884,9 Кб65 873,0 Кб [список файлов]