软件包：ott-tools（0.33+ds-4 以及其他的）

ott-tools 的相关链接

Debian 的资源：

下载源码包 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 有关的软件包

依赖

推荐

建议

增强

dep: libc6 (>= 2.38)

GNU C 语言运行库：共享库
同时作为一个虚包由这些包填实： libc6-udeb

下载 ott-tools

下载可用于所有硬件架构的
硬件架构	版本	软件包大小	安装后大小	文件
amd64	0.33+ds-4+b2	1,448.2 kB	6,201.0 kB	[文件列表]
arm64	0.33+ds-4+b2	1,603.9 kB	7,157.0 kB	[文件列表]
ppc64el	0.33+ds-4+b3	1,468.9 kB	6,709.0 kB	[文件列表]
riscv64	0.33+ds-4+b2	1,487.2 kB	6,673.0 kB	[文件列表]
s390x	0.33+ds-4+b2	1,466.6 kB	7,101.0 kB	[文件列表]