套件：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)

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

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

  BSD editline and history libraries

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

  GCC 支援函式庫

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

  Multiprecision arithmetic library

• dep: libtirpc3t64 (>= 1.0.2)

  transport-independent RPC library

• dep: libx11-6

  X11 client-side library

下載 hol88

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

硬體架構	版本	套件大小	安裝後大小	檔案
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	[檔案列表]
i386	2.02.19940316dfsg-5+b1	5，616。3 kB	41，688。0 kB	[檔案列表]
mips64el	2.02.19940316dfsg-5+b1	5，426。8 kB	67，359。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	[檔案列表]