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

[ 源代码： why3 ]

软件包：why3-doc-html（1.2.0-1）

why3-doc-html 的相关链接

Debian 的资源：

下载源码包 why3：

维护小组：

外部的资源：

主页 [why3.lri.fr]

相似软件包：

HTML Documentation of the why3 verification platform

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

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

依赖

推荐

建议

增强

dep: tex-common (>= 6)

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

sug: why3

Software verification platform

下载 why3-doc-html

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