[ buster ] [ bullseye ] [ bookworm ] [ trixie ] [ sid ]

[ 源代码： why3 ]

软件包：why3-doc-pdf（1.7.2-2）

why3-doc-pdf 的相关链接

Debian 的资源：

下载源码包 why3：

维护小组：

外部的资源：

主页 [why3.lri.fr]

相似软件包：

PDF Documentation of the why3 verification platform

This package contains the tutorial and reference manual of the why3 verification platform in PDF format.

其他与 why3-doc-pdf 有关的软件包

依赖

推荐

建议

增强

dep: tex-common (>= 6.13)

用于构建和安装 TeX 的通用基础架构

sug: why3

Software verification platform

下载 why3-doc-pdf

下载可用于所有硬件架构的
硬件架构	软件包大小	安装后大小	文件
all	1,325.7 kB	1,400.0 kB	[文件列表]