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

Package: hol88 (2.02.19940316-32 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-32 4,951.2 kB79,839.0 kB [list of files]
amd64 2.02.19940316-32+b1 6,251.9 kB62,472.0 kB [list of files]
arm64 2.02.19940316-32 3,149.0 kB38,439.0 kB [list of files]
armel 2.02.19940316-32 4,737.2 kB45,304.0 kB [list of files]
armhf 2.02.19940316-32 4,703.7 kB41,844.0 kB [list of files]
hppa (unofficial port) 2.02.19940316-32 3,593.0 kB30,757.0 kB [list of files]
hurd-i386 2.02.19940316-31 5,157.0 kB65,284.0 kB [list of files]
i386 2.02.19940316-32 5,103.2 kB42,124.0 kB [list of files]
kfreebsd-amd64 2.02.19940316-31+b1 6,094.5 kB80,760.0 kB [list of files]
kfreebsd-i386 2.02.19940316-31+b1 4,967.1 kB64,241.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-32 4,834.6 kB48,922.0 kB [list of files]
mips64el 2.02.19940316-32 5,071.9 kB65,597.0 kB [list of files]
mipsel 2.02.19940316-32 4,839.6 kB48,922.0 kB [list of files]
powerpc 2.02.19940316-32 4,564.1 kB96,732.0 kB [list of files]
powerpcspe (unofficial port) 2.02.19940316-32 4,612.1 kB55,540.0 kB [list of files]
ppc64 (unofficial port) 2.02.19940316-32 4,893.4 kB116,383.0 kB [list of files]
ppc64el 2.02.19940316-32 4,936.0 kB115,423.0 kB [list of files]
s390x 2.02.19940316-32 5,801.5 kB64,215.0 kB [list of files]
sh4 (unofficial port) 2.02.19940316-31 5,182.0 kB39,336.0 kB [list of files]
sparc64 (unofficial port) 2.02.19940316-32 4,899.2 kB72,543.0 kB [list of files]
x32 (unofficial port) 2.02.19940316-32 5,968.2 kB46,212.0 kB [list of files]