パッケージ: coqide (8.19.1+dfsg-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.19.1+dfsg-3+b2) [ppc64el 以外]

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

  dep: coq (= 8.19.1+dfsg-3+b3) [ppc64el]

• dep: libc6 (>= 2.38)

  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-0t64 (>= 2.36.0)

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

• dep: libgtk-3-0t64 (>= 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 のダウンロード

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

アーキテクチャ	バージョン	パッケージサイズ	インストールサイズ	ファイル
amd64	8.19.1+dfsg-3+b2	2,100.9 kB	10,480.0 kB	[ファイル一覧]
arm64	8.19.1+dfsg-3+b2	2,411.6 kB	12,296.0 kB	[ファイル一覧]
ppc64el	8.19.1+dfsg-3+b3	2,136.4 kB	11,272.0 kB	[ファイル一覧]
riscv64	8.19.1+dfsg-3+b2	2,140.1 kB	11,236.0 kB	[ファイル一覧]
s390x	8.19.1+dfsg-3+b2	2,116.9 kB	11,804.0 kB	[ファイル一覧]