パッケージ: coqide (8.16.1+dfsg-1 など)

coqide に関するリンク

Debian の資源:

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

メンテナ:

外部の資源:

ホームページ [coq.inria.fr]

類似のパッケージ:

高階論理用証明アシスタント (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 関連パッケージ

依存

推奨

提案

enhances

dep: coq (= 8.16.1+dfsg-1+b2)

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

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 ライブラリ
dep: libglib2.0-0 (>= 2.35.9)

C ルーチンの GLib ライブラリ
dep: libgtk-3-0 (>= 3.11.5)

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 のダウンロード

すべての利用可能アーキテクチャ向けのダウンロード
アーキテクチャ	バージョン	パッケージサイズ	インストールサイズ	ファイル
i386	8.16.1+dfsg-1+b2	1,763.9 kB	7,580.0 kB	[ファイル一覧]