[ 源代码： why3 ]
软件包：why3-coq（1.3.3-1 以及其他的）
Coq support for the why3 verification platform
This package contains the compiled coq files that are necessary to use the coq proof assistant together with the why3 deductive verification platform.
其他与 why3-coq 有关的软件包
|
|
|
|
-
- dep: coq-8.12.0+4.11.1
- 本虚包由这些包填实： coq
-
- dep: tex-common (>= 6.13)
- 用于构建和安装 TeX 的通用基础架构
-
- rec: why3
- Software verification platform