Пакет: hol88 (2.02.19940316dfsg-8)

Връзки за hol88

Ресурси за Debian:

Изтегляне на пакет-източник hol88.

Отговорник:

Camm Maguire (Страница за QA)

Подобни пакети:

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

зависимости

препоръчани

предложени

enhances

dep: libc6 (>= 2.38)

GNU C Library: Shared libraries
също и виртуален пакет, предлаган от libc6-udeb
dep: libedit2 (>= 2.11-20080614-0)

BSD editline and history libraries
dep: libgcc-s1 (>= 4.0) [arm64]

GCC support library
dep: libgmp10 (>= 2:6.3.0+dfsg)

Multiprecision arithmetic library
dep: libtirpc3t64 (>= 1.0.2)

transport-independent RPC library

Изтегляне на hol88

Изтегляне за всички налични архитектури
Архитектура	Големина на пакета	Големина след инсталиране	Файлове
amd64	11 631,1 кБ	239 349,0 кБ	[списък на файловете]
arm64	10 972,6 кБ	245 409,0 кБ	[списък на файловете]
armhf	9 731,6 кБ	192 158,0 кБ	[списък на файловете]
i386	10 236,4 кБ	190 194,0 кБ	[списък на файловете]
ppc64el	11 018,6 кБ	269 985,0 кБ	[списък на файловете]
riscv64	11 434,6 кБ	239 625,0 кБ	[списък на файловете]
s390x	12 070,1 кБ	213 001,0 кБ	[списък на файловете]