Пакет: ott-tools (0.34+ds-1 и другие)

Ссылки для ott-tools

Отслеживание заплат eLxr

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

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

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

Сайт [github.com]

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

Ott tool (executable)

Ott is a tool to write definitions of programming languages and calculi. From the definition of a language syntex and semanticsin a concise and readable notation close to informal mathematics, it can provide LaTeX, Coq, HOL, Isabelle/HOL, Lem or OCaml versions of the definition.

Coq is a proof assistant for higher-order logic.

This package provides the executable.

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

зависимости

рекомендации

предложения

enhances

dep: libc6 (>= 2.38)

GNU C Library: Shared libraries
также виртуальный пакет, предоставляемый libc6-udeb

Загрузка ott-tools

Загрузить для всех доступных архитектур
Архитектура	Версия	Размер пакета	В установленном виде	Файлы
amd64	0.34+ds-1+b4	1 459,0 Кб	6 238,0 Кб	[список файлов]
arm64	0.34+ds-1+b4	1 606,4 Кб	7 225,0 Кб	[список файлов]