套件：ott-tools（0.34+ds-1 以及其他的）

ott-tools 的相關連結

eLxr 補丁追蹤網站

下載原始碼套件 ott：

[ott_0.34+ds-1.debian.tar.xz]
[ott_0.34+ds-1.dsc]
[ott_0.34+ds.orig.tar.xz]

維護小組：

Debian OCaml Maintainers
Julien Puydt

外部的資源：

主頁 [github.com]

相似套件：

lem
liblem-ocaml-dev
libcoq-reglang
libcoq-equations
libcoq-menhirlib
libcoq-unimath
libcoq-core-ocaml-dev
coq
coq-dpdgraph-tools
libcoq-stdpp
libcoq-mtac2

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 有關的套件

依賴

推薦

建議

增強

dep: libc6 (>= 2.38)

GNU C Library: Shared libraries
同時作為一個虛擬套件由這些套件填實： libc6-udeb

下載 ott-tools

下載可用於所有硬體架構的
硬體架構	版本	套件大小	安裝後大小	檔案
amd64	0.34+ds-1+b4	1，459。0 kB	6，238。0 kB	[檔案列表]
arm64	0.34+ds-1+b4	1，606。4 kB	7，225。0 kB	[檔案列表]