パッケージ: hol88 (2.02.19940316-13.1)

[ ソース: hol88  ]

Higher Order Logic, system image

The HOL System is an environment for interactive theorem proving in a higher-order logic. Its most outstanding feature is its high degree of programmability through the meta-language ML. The system has a wide variety of uses from formalizing pure mathematics to verification of industrial hardware. Academic and industrial sites world-wide are using HOL.

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

• dep: libc0.1 (>= 2.3) [kfreebsd-amd64, kfreebsd-i386]

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

• dep: libc6 (>= 2.3) [amd64, i386, mips, mipsel]

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

  dep: libc6 (>= 2.4) [armel, powerpc, s390]

  dep: libc6 (>= 2.6) [sparc]

• dep: libc6.1 (>= 2.3) [ia64]

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

• dep: libgcc1 (>= 1:4.4.0) [armel]

  GCC 共有ライブラリ

• dep: libgmp3c2

  多倍長精度演算ライブラリ

• dep: libncurses5 (>= 5.7+20100313)

  ターミナル処理用共有ライブラリ

• dep: libreadline6 (>= 6.0)

  GNU readline および history ライブラリ - ランタイムライブラリ

• dep: libx11-6

  X11 クライアントサイドライブラリ

hol88 のダウンロード

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

アーキテクチャ	パッケージサイズ	インストールサイズ	ファイル
amd64	14,057.6 kB	74,704.0 kB	[ファイル一覧]
armel	12,673.8 kB	54,588.0 kB	[ファイル一覧]
i386	11,742.7 kB	48,420.0 kB	[ファイル一覧]
ia64	11,637.0 kB	270,024.0 kB	[ファイル一覧]
kfreebsd-amd64	13,859.4 kB	96,722.0 kB	[ファイル一覧]
kfreebsd-i386	11,760.5 kB	71,538.0 kB	[ファイル一覧]
mips	13,995.3 kB	56,948.0 kB	[ファイル一覧]
mipsel	13,257.3 kB	56,976.0 kB	[ファイル一覧]
powerpc	13,834.0 kB	61,196.0 kB	[ファイル一覧]
s390	13,964.5 kB	52,112.0 kB	[ファイル一覧]
sparc	13,202.6 kB	59,648.0 kB	[ファイル一覧]