Skip to content
Sections
>> Trisquel >> パッケージ >> etiona >> math >> prover9-mace4
etiona  ]
[ ソース: p9m4  ]

パッケージ: prover9-mace4 (0.5.dfsg-3)

prover9-mace4 に関するリンク

prover9-mace4

Trisquel の資源:

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

メンテナ:

Original Maintainer:

  • Debian QA Group

外部の資源:

類似のパッケージ:

GUI for Prover9 and Mace4

This package provides a graphical user interface for easily running the Prover9 theorem prover and the Mace4 countermodel generator along with a number of sample input files.

その他の prover9-mace4 関連パッケージ

  • 依存
  • 推奨
  • 提案
  • dep: prover9 (>= 0.0.200712-1)
    theorem prover and countermodel generator
  • dep: python
    interactive high-level object-oriented language (default version)
  • dep: python-wxgtk3.0
    Python interface to the wxWidgets Cross-platform C++ GUI toolkit

prover9-mace4 のダウンロード

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