[ etiona ]
[ nabia ]
[ 原始碼: why3 ]
套件: why3-coq (1.2.1-6)
why3-coq 的相關超連結
Trisquel 的資源:
下載原始碼套件 why3:
維護者:
Original Maintainers:
- Debian OCaml Maintainers (郵件存檔)
- Ralf Treinen
外部的資源:
- 主頁 [why3.lri.fr]
相似套件:
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.11.0+4.08.1
- 本虛擬套件由這些套件提供: coq
-
- dep: tex-common (>= 6.13)
- common infrastructure for building and installing TeX
-
- rec: why3
- Software verification platform