Package: hol88 (2.02.19940316-15)

[ 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.

Tags: Interface Toolkit: Ncurses TUI

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.13) [s390x]

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

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

  dep: libc6 (>= 2.4) [armel, armhf, 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, armhf]

  GCC support library

• dep: libgmp10

  Multiprecision arithmetic library

• 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	10,840.8 kB	60,975.0 kB	[list of files]
armel	12,107.9 kB	54,589.0 kB	[list of files]
armhf	11,203.9 kB	50,877.0 kB	[list of files]
i386	8,423.5 kB	39,577.0 kB	[list of files]
ia64	9,571.9 kB	264,668.0 kB	[list of files]
kfreebsd-amd64	10,873.6 kB	84,101.0 kB	[list of files]
kfreebsd-i386	8,448.4 kB	62,623.0 kB	[list of files]
mips	8,218.5 kB	42,445.0 kB	[list of files]
mipsel	7,901.7 kB	42,849.0 kB	[list of files]
powerpc	9,252.8 kB	49,181.0 kB	[list of files]
s390	9,772.7 kB	41,665.0 kB	[list of files]
s390x	11,488.1 kB	64,083.0 kB	[list of files]
sparc	5,329.2 kB	28,784.0 kB	[list of files]