套件：hol88（2.02.19940316dfsg-5 以及其他的）

[ 原始碼： 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.

標籤: Interface Toolkit: Ncurses TUI

其他與 hol88 有關的套件

• dep: libc6 (>= 2.34) [除 alpha, sh4]

  GNU C 函式庫：共用函式庫
  同時作為一個虛擬套件由這些套件填實： libc6-udeb

  dep: libc6 (>= 2.37) [sh4]

• dep: libc6.1 (>= 2.34) [alpha]

  GNU C 函式庫：共用函式庫
  同時作為一個虛擬套件由這些套件填實： libc6.1-udeb

• dep: libedit2 (>= 2.11-20080614-0)

  BSD editline and history libraries

• dep: libgcc-s1 (>= 3.0) [arm64]

  GCC 支援函式庫

• dep: libgcc-s4 (>= 4.1.1) [hppa]

  GCC 支援函式庫

• dep: libgmp10 (>= 2:6.3.0+dfsg)

  Multiprecision arithmetic library

• dep: libtirpc3 (>= 1.0.2) [ppc64, sparc64, x32]

  transport-independent RPC library

• dep: libtirpc3t64 (>= 1.0.2) [除 ppc64, sparc64, x32]

  transport-independent RPC library

• dep: libx11-6

  X11 client-side library

下載 hol88

下載可用於所有硬體架構的

硬體架構	版本	套件大小	安裝後大小	檔案
alpha （非官方移植版）	2.02.19940316dfsg-5+b1	6，179。9 kB	69，151。0 kB	[檔案列表]
amd64	2.02.19940316dfsg-5+b1	6，624。4 kB	59，059。0 kB	[檔案列表]
arm64	2.02.19940316dfsg-5+b1	5，942。5 kB	66，059。0 kB	[檔案列表]
armel	2.02.19940316dfsg-5+b1	5，257。2 kB	43，428。0 kB	[檔案列表]
armhf	2.02.19940316dfsg-5+b1	5，231。2 kB	40，628。0 kB	[檔案列表]
hppa （非官方移植版）	2.02.19940316dfsg-5+b1	5，915。0 kB	53，944。0 kB	[檔案列表]
i386	2.02.19940316dfsg-5+b1	5，616。3 kB	41，688。0 kB	[檔案列表]
m68k （非官方移植版）	2.02.19940316dfsg-5+b1	4，432。3 kB	41，508。0 kB	[檔案列表]
mips64el	2.02.19940316dfsg-5+b1	5，426。8 kB	67，359。0 kB	[檔案列表]
ppc64 （非官方移植版）	2.02.19940316dfsg-5+b1	5，816。2 kB	127，455。0 kB	[檔案列表]
ppc64el	2.02.19940316dfsg-5+b1	5，920。0 kB	125，791。0 kB	[檔案列表]
riscv64	2.02.19940316dfsg-5+b1	6，154。8 kB	57，055。0 kB	[檔案列表]
s390x	2.02.19940316dfsg-5+b1	6，939。4 kB	60，735。0 kB	[檔案列表]
sh4 （非官方移植版）	2.02.19940316dfsg-5+b1	5，640。9 kB	38，984。0 kB	[檔案列表]
sparc64 （非官方移植版）	2.02.19940316dfsg-5+b1	5，235。4 kB	70，439。0 kB	[檔案列表]
x32 （非官方移植版）	2.02.19940316dfsg-5+b1	6，536。9 kB	42，512。0 kB	[檔案列表]