Package: proofgeneral-coq (3.7-4)

[ Source: proofgeneral  ]

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

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

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

Tags: Field: Mathematics, User Interface: Command Line, Role: Plugin, Application Suite: Emacs, Purpose: Checking

Other Packages Related to proofgeneral-coq

• dep: proofgeneral

  証明アシスタント用の汎用インターフェイス - 共通パッケージ

• rec: coq

  高階述語論理証明アシスタント (トップレベルおよびコンパイラ)

Download proofgeneral-coq

Download for all available architectures

Architecture	Package Size	Installed Size	Files
all	70.8 kB	336.0 kB	[list of files]