all options
squeeze  ]
[ Source: proofgeneral  ]

Package: proofgeneral-minlog (3.7-4)

Links for proofgeneral-minlog

Screenshot

Debian Resources:

Download Source Package proofgeneral:

Maintainer:

External Resources:

Similar packages:

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

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

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

Other Packages Related to proofgeneral-minlog

  • depends
  • recommends
  • suggests
  • enhances

Download proofgeneral-minlog

Download for all available architectures
Architecture Package Size Installed Size Files
all 19.7 kB96.0 kB [list of files]