[ 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