Package: hol88 (2.02.19940316-13.1)

[ Source: hol88  ]

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.

Other Packages Related to hol88

• dep: libc0.1 (>= 2.3) [kfreebsd-amd64, kfreebsd-i386]

  Embedded GNU C Library: Shared libraries
  also a virtual package provided by libc0.1-udeb

• dep: libc6 (>= 2.3) [amd64, i386, mips, mipsel]

  Embedded GNU C Library: Shared libraries
  also a virtual package provided by libc6-udeb

  dep: libc6 (>= 2.4) [armel, powerpc, s390]

  dep: libc6 (>= 2.6) [sparc]

• dep: libc6.1 (>= 2.3) [ia64]

  Embedded GNU C Library: Shared libraries
  also a virtual package provided by libc6.1-udeb

• dep: libgcc1 (>= 1:4.4.0) [armel]

  GCC support library

• dep: libgmp3c2

  Multiprecision arithmetic library

• dep: libncurses5 (>= 5.7+20100313)

  shared libraries for terminal handling

• dep: libreadline6 (>= 6.0)

  GNU readline and history libraries, run-time libraries

• dep: libx11-6

  X11 client-side library

Download hol88

Download for all available architectures

Architecture	Package Size	Installed Size	Files
amd64	14,057.6 kB	74,704.0 kB	[list of files]
armel	12,673.8 kB	54,588.0 kB	[list of files]
i386	11,742.7 kB	48,420.0 kB	[list of files]
ia64	11,637.0 kB	270,024.0 kB	[list of files]
kfreebsd-amd64	13,859.4 kB	96,722.0 kB	[list of files]
kfreebsd-i386	11,760.5 kB	71,538.0 kB	[list of files]
mips	13,995.3 kB	56,948.0 kB	[list of files]
mipsel	13,257.3 kB	56,976.0 kB	[list of files]
powerpc	13,834.0 kB	61,196.0 kB	[list of files]
s390	13,964.5 kB	52,112.0 kB	[list of files]
sparc	13,202.6 kB	59,648.0 kB	[list of files]