すべてのオプション
squeeze  ]
[ ソース: proofgeneral  ]

パッケージ: proofgeneral-minlog (3.7-4)

proofgeneral-minlog に関するリンク

Screenshot

Debian の資源:

proofgeneral ソースパッケージをダウンロード:

メンテナ:

外部の資源:

類似のパッケージ:

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

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

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

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

  • 依存
  • 推奨
  • 提案
  • enhances

proofgeneral-minlog のダウンロード

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