套件：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.2.1+dfsg1)

  Multiprecision arithmetic library

• dep: libtirpc3 (>= 1.0.2)

  transport-independent RPC library

• dep: libx11-6

  X11 client-side library

下載 hol88

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

硬體架構	套件大小	安裝後大小	檔案
amd64	6，609。0 kB	57，886。0 kB	[檔案列表]
arm64	5，893。6 kB	65，426。0 kB	[檔案列表]
armel	5，240。0 kB	43，303。0 kB	[檔案列表]
armhf	5，226。0 kB	40，551。0 kB	[檔案列表]
i386	5，608。9 kB	41，663。0 kB	[檔案列表]
mips64el	5，447。0 kB	67，326。0 kB	[檔案列表]
mipsel	5，238。9 kB	47，563。0 kB	[檔案列表]
ppc64el	5，912。5 kB	113，438。0 kB	[檔案列表]
s390x	6，213。3 kB	60，566。0 kB	[檔案列表]