パッケージ: coqide (8.12.0-3 など)

[ ソース: coq  ]

高階論理用証明アシスタント (gtk インターフェイス)

Coq は、高階論理用の証明アシスタントであり、形式的な仕様との整合性を保つコ ンピュータプログラムの開発が可能です。Objective Caml と Camlp5 を用いて開発 されています。

本パッケージは、証明を開発するための GUI である、CoqIde を提供します。

タグ: ソフトウェア開発: IDE, 分野: 数学, 実装言語: implemented-in::ocaml, interface::graphical, ユーザインタフェース: X ウィンドウシステム, 役割: role::program, scope::application, インタフェースツールキット: GTK, Ncurses TUI, 目的: use::checking, x11::application

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

• dep: coq (= 8.12.0-3+b3)

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

• dep: libc6 (>= 2.29) [armel, mips64el, mipsel 以外]

  GNU C ライブラリ: 共有ライブラリ
  以下のパッケージによって提供される仮想パッケージでもあります: libc6-udeb

• dep: libcairo2 (>= 1.12.0) [armel, mips64el, mipsel 以外]

  Cairo 二次元ベクトルグラフィックライブラリ

• dep: libfontconfig1 (>= 2.12.6) [armel, mips64el, mipsel 以外]

  汎用フォント設定ライブラリ - ランタイム

• dep: libfreetype6 (>= 2.2.1) [armel, mips64el, mipsel 以外]

  FreeType 2 フォントエンジン共有ライブラリファイル

• dep: libgdk-pixbuf-2.0-0 (>= 2.22.0) [armel, mips64el, mipsel 以外]

  GDK Pixbuf ライブラリ

  または libgdk-pixbuf2.0-0 (>= 2.22.0)

  GDK Pixbuf ライブラリ (移行用パッケージ)

• dep: libglib2.0-0 (>= 2.35.9) [armel, mips64el, mipsel 以外]

  C ルーチンの GLib ライブラリ

• dep: libgtk-3-0 (>= 3.1.4) [armel, mips64el, mipsel 以外]

  GTK グラフィカルユーザインターフェースライブラリ

• dep: libgtksourceview-3.0-1 (>= 2.91.4) [armel, mips64el, mipsel 以外]

  shared libraries for the GTK+ syntax highlighting widget

• dep: libpango-1.0-0 (>= 1.14.0) [armel, mips64el, mipsel 以外]

  国際化されたテキストのレイアウトと描画

coqide のダウンロード

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

アーキテクチャ	バージョン	パッケージサイズ	インストールサイズ	ファイル
amd64	8.12.0-3+b3	1,835.2 kB	9,275.0 kB	[ファイル一覧]
arm64	8.12.0-3+b3	2,119.7 kB	10,649.0 kB	[ファイル一覧]
armel	8.12.0-3+b3	45.7 kB	111.0 kB	[ファイル一覧]
armhf	8.12.0-3+b3	1,696.1 kB	6,255.0 kB	[ファイル一覧]
i386	8.12.0-3+b3	1,682.6 kB	7,257.0 kB	[ファイル一覧]
mips64el	8.12.0-3+b3	45.6 kB	111.0 kB	[ファイル一覧]
mipsel	8.12.0-3+b3	45.7 kB	111.0 kB	[ファイル一覧]
ppc64el	8.12.0-3+b3	1,912.5 kB	9,983.0 kB	[ファイル一覧]