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

Package: hol88 (2.02.19940316-28 and others)

Links for hol88

Screenshot

Debian Resources:

Download Source Package hol88:

Maintainer:

Similar packages:

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.

Tags: Interface Toolkit: Ncurses TUI

Other Packages Related to hol88

  • depends
  • recommends
  • suggests
  • enhances

Download hol88

Download for all available architectures
Architecture Version Package Size Installed Size Files
alpha (unofficial port) 2.02.19940316-28 4,446.3 kB69,155.0 kB [list of files]
amd64 2.02.19940316-28 5,976.3 kB57,323.0 kB [list of files]
arm64 2.02.19940316-28 2,965.7 kB31,373.0 kB [list of files]
armel 2.02.19940316-28 4,801.4 kB44,237.0 kB [list of files]
armhf 2.02.19940316-28 4,653.3 kB38,117.0 kB [list of files]
hppa (unofficial port) 2.02.19940316-28 5,607.5 kB51,517.0 kB [list of files]
i386 2.02.19940316-28 5,019.0 kB40,278.0 kB [list of files]
kfreebsd-amd64 2.02.19940316-28 5,964.1 kB75,629.0 kB [list of files]
kfreebsd-i386 2.02.19940316-28 5,036.5 kB63,359.0 kB [list of files]
m68k (unofficial port) 2.02.19940316-28 1,001.0 kB10,066.0 kB [list of files]
mips 2.02.19940316-28 4,593.6 kB44,312.0 kB [list of files]
mipsel 2.02.19940316-28 4,663.3 kB44,312.0 kB [list of files]
powerpc 2.02.19940316-28 4,309.3 kB52,722.0 kB [list of files]
powerpcspe (unofficial port) 2.02.19940316-28 4,494.5 kB53,666.0 kB [list of files]
ppc64 (unofficial port) 2.02.19940316-28 4,911.6 kB73,739.0 kB [list of files]
ppc64el 2.02.19940316-28 4,794.6 kB74,060.0 kB [list of files]
s390x 2.02.19940316-28 5,739.1 kB58,687.0 kB [list of files]
sh4 (unofficial port) 2.02.19940316-28 5,071.6 kB36,717.0 kB [list of files]
sparc64 (unofficial port) 2.02.19940316-20 4,739.7 kB67,827.0 kB [list of files]
x32 (unofficial port) 2.02.19940316-28 4.5 kB40.0 kB [list of files]