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

[ 源代码： why3 ]

软件包：why3-examples（1.7.2-2）

why3-examples 的相关链接

Debian 的资源：

下载源码包 why3：

维护小组：

外部的资源：

主页 [why3.lri.fr]

相似软件包：

Examples for the why3 verification platform

This package contains examples, both of program verification tasks and pure logical verification tasks, for the why3 software verification platform.

其他与 why3-examples 有关的软件包

依赖

推荐

建议

增强

dep: tex-common (>= 6.13)

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

rec: why3

Software verification platform

下载 why3-examples

下载可用于所有硬件架构的
硬件架构	软件包大小	安装后大小	文件
all	3,952.8 kB	18,135.0 kB	[文件列表]