软件包：why3-examples（1.6.0-1）

[ 源代码： why3  ]

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,909.1 kB	19,490.0 kB	[文件列表]