软件包：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	[文件列表]