パッケージ: why3-coq (1.2.0-1)

[ ソース: why3  ]

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.9.0+4.05.0

  以下のパッケージによって提供される仮想パッケージです: coq

• dep: tex-common (>= 6)

  TeX の構築およびインストールのための共通基盤

• rec: why3

  Software verification platform

why3-coq のダウンロード

すべての利用可能アーキテクチャ向けのダウンロード

アーキテクチャ	パッケージサイズ	インストールサイズ	ファイル
armhf	587.9 kB	2,720.0 kB	[ファイル一覧]