パッケージ: 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)

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

• dep: libcairo2 (>= 1.12.0)

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

• dep: libfontconfig1 (>= 2.12.6)

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

• dep: libfreetype6 (>= 2.2.1)

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

• dep: libgdk-pixbuf-2.0-0 (>= 2.22.0)

  GDK Pixbuf ライブラリ

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

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

• dep: libglib2.0-0 (>= 2.35.9)

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

• dep: libgtk-3-0 (>= 3.1.4)

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

• dep: libgtksourceview-3.0-1 (>= 2.91.4)

  shared libraries for the GTK+ syntax highlighting widget

• dep: libpango-1.0-0 (>= 1.14.0)

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

coqide のダウンロード

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

アーキテクチャ	バージョン	パッケージサイズ	インストールサイズ	ファイル
arm64	8.12.0-3+b3	2,119.7 kB	10,649.0 kB	[ファイル一覧]