[  etch  ] [  etch-m68k  ] [  lenny  ] [  squeeze  ] [  sid  ]
[ ソース: proofgeneral  ]

パッケージ: proofgeneral-coq (3.7-3)

証明アシスタント用の汎用インターフェイス - coq サポート

Proof General は、Emacs を対話型証明アシスタントにするメジャーモードで、 様々な定理証明系を用いて形式的数学証明を記述することができます。 XEmacs と GNU Emacs のどちらでも動きます。

このパッケージは、別のパッケージになっている Coq 定理証明系に対する Proof General のサポートを提供します。しかし、単に Coq のファイルを編集する ためだけの場合には、このパッケージは必要とされません。

タグ: 分野: 数学, ユーザインタフェース: コマンドライン, 役割: プラグイン, アプリケーションスイート: Emacs, 目的: 検査

その他の proofgeneral-coq 関連パッケージ

  • 依存
  • 推奨
  • 提案
  • dep: proofgeneral
    証明アシスタント用の汎用インターフェイス - 共通パッケージ
  • rec: coq
    高次論理用証明アシスタント (トップレベルおよびコンパイラ)

proofgeneral-coq のダウンロード

すべての利用可能アーキテクチャ向けのダウンロード
アーキテクチャ パッケージサイズ インストールサイズ ファイル
all 70.0 kB336 kB [ファイル一覧]