all options
wheezy  ] [  jessie  ] [  stretch  ] [  buster  ] [  sid  ]
[ Source: hol88  ]

Package: hol88-library (2.02.19940316-35)

Links for hol88-library

Screenshot

Debian Resources:

Download Source Package hol88:

Maintainer:

Similar packages:

Higher Order Logic, binary library modules

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.

Download hol88-library

Download for all available architectures
Architecture Package Size Installed Size Files
alpha (unofficial port) 2,403.1 kB31,182.0 kB [list of files]
amd64 3,070.6 kB27,007.0 kB [list of files]
arm64 3,088.6 kB27,674.0 kB [list of files]
armel 2,860.0 kB16,123.0 kB [list of files]
armhf 2,866.5 kB14,411.0 kB [list of files]
hppa (unofficial port) 3,597.4 kB23,409.0 kB [list of files]
hurd-i386 2,757.9 kB15,825.0 kB [list of files]
i386 2,875.3 kB15,859.0 kB [list of files]
kfreebsd-amd64 3,068.6 kB26,998.0 kB [list of files]
kfreebsd-i386 2,830.5 kB15,637.0 kB [list of files]
m68k (unofficial port) 2,967.2 kB20,577.0 kB [list of files]
mips 2,914.6 kB17,259.0 kB [list of files]
mips64el 3,272.3 kB29,098.0 kB [list of files]
mipsel 3,027.3 kB17,260.0 kB [list of files]
powerpcspe (unofficial port) 2,924.1 kB19,886.0 kB [list of files]
ppc64 (unofficial port) 3,092.9 kB29,959.0 kB [list of files]
ppc64el 3,156.5 kB29,246.0 kB [list of files]
s390x 2,853.7 kB25,269.0 kB [list of files]
sh4 (unofficial port) 3,018.4 kB15,843.0 kB [list of files]
sparc64 (unofficial port) 2,971.9 kB28,004.0 kB [list of files]
x32 (unofficial port) 2,857.3 kB18,036.0 kB [list of files]