Paket: hol88 (2.02.19940316dfsg-6)

Länkar för hol88

Debianresurser:

Hämta källkodspaketet hol88:

Ansvarig:

Camm Maguire (QA-sida)

Liknande paket:

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.

Märken: Interface Toolkit: Ncurses TUI

Andra paket besläktade med hol88

beror

rekommenderar

föreslår

enhances

dep: libc6 (>= 2.38)

GNU C-bibliotek: Delade bibliotek
också ett virtuellt paket som tillhandahålls av libc6-udeb
dep: libedit2 (>= 2.11-20080614-0)

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

GCC stödbibliotek
dep: libgmp10 (>= 2:6.3.0+dfsg)

Multiprecision arithmetic library
dep: libtirpc3t64 (>= 1.0.2)

transport-independent RPC library

Hämta hol88

Hämtningar för alla tillgängliga arkitekturer
Arkitektur	Paketstorlek	Installerad storlek	Filer
amd64	11.679,2 kbyte	239.349,0 kbyte	[filförteckning]
arm64	10.991,2 kbyte	245.409,0 kbyte	[filförteckning]
armel	9.753,9 kbyte	198.302,0 kbyte	[filförteckning]
armhf	9.740,6 kbyte	192.158,0 kbyte	[filförteckning]
i386	10.145,1 kbyte	190.194,0 kbyte	[filförteckning]
ppc64el	10.970,2 kbyte	269.985,0 kbyte	[filförteckning]
riscv64	11.367,1 kbyte	239.625,0 kbyte	[filförteckning]
s390x	12.072,2 kbyte	213.001,0 kbyte	[filförteckning]