パッケージ: proofgeneral (4.4.1~pre170114-1.2)

[ ソース: proofgeneral  ]

証明アシスタント用の汎用フロントエンド

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

このパッケージは、Coq に対する Proof General のサポートを提供します。 (他にまともにサポートできる証明アシスタントが存在していません。)

タグ: 分野: 数学, 実装言語: Lisp, ユーザインタフェース: interface::graphical, interface::text-mode, X ウィンドウシステム, 役割: プラグイン, role::program, suite::emacs, 目的: 編集, X ウィンドウシステム: アプリケーション

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

• dep: emacs-gtk

  GNU Emacs editor (with GTK+ GUI support)

• dep: mmm-mode

  Emacs 用マルチメジャーモード

• sug: proofgeneral-doc

  generic frontend for proof assistants - documentation

• sug: prooftree

  proof-tree visualization for Proof General

proofgeneral のダウンロード

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

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