パッケージ: why3-coq (1.3.3-3) [debports]
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