[ ソース: proofgeneral ]
パッケージ: proofgeneral (4.5-3)
proofgeneral に関するリンク
Debian の資源:
proofgeneral ソースパッケージをダウンロード:
メンテナ:
外部の資源:
- ホームページ [proofgeneral.github.io]
類似のパッケージ:
証明アシスタント用の汎用フロントエンド
Proof General は、Emacs を対話型証明アシスタントにするメジャーモードで、 様々な定理証明系を用いて形式的数学証明を記述することができます。
このパッケージは、Coq に対する Proof General のサポートを提供します。 (他にまともにサポートできる証明アシスタントが存在していません。)
その他の proofgeneral 関連パッケージ
|
|
|
|
-
- dep: emacs
- GNU Emacs エディタ (メタパッケージ)
以下のパッケージによって提供される仮想パッケージでもあります: emacs-gtk, emacs-lucid, emacs-nox, emacs-pgtk
-
- sug: proofgeneral-doc
- generic frontend for proof assistants - documentation
-
- sug: prooftree
- パッケージは利用できません