Pakket: hol88 (2.02.19940316-13.1)

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

Andere aan hol88 gerelateerde pakketten

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

  Embedded GNU C Library: Shared libraries
  Ook een virtueel pakket geboden door: libc0.1-udeb

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

  Embedded GNU C Library: Shared libraries
  Ook een virtueel pakket geboden door: 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
  Ook een virtueel pakket geboden door: libc6.1-udeb

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

  GCC support bibliotheek

• dep: libgmp3c2

  Multiprecision arithmetic library

• dep: libncurses5 (>= 5.7+20100313)

  shared libraries for terminal handling

• dep: libreadline6 (>= 6.0)

  GNU readline en geschiedenis bibliotheek, voor executie

• dep: libx11-6

  X11 client-side library

hol88 downloaden

Pakket downloaden voor alle beschikbare platforms

Platform	Pakketgrootte	Geïnstalleerde grootte	Bestanden
amd64	14.057,6 kB	74.704,0 kB	[overzicht]
armel	12.673,8 kB	54.588,0 kB	[overzicht]
i386	11.742,7 kB	48.420,0 kB	[overzicht]
ia64	11.637,0 kB	270.024,0 kB	[overzicht]
kfreebsd-amd64	13.859,4 kB	96.722,0 kB	[overzicht]
kfreebsd-i386	11.760,5 kB	71.538,0 kB	[overzicht]
mips	13.995,3 kB	56.948,0 kB	[overzicht]
mipsel	13.257,3 kB	56.976,0 kB	[overzicht]
powerpc	13.834,0 kB	61.196,0 kB	[overzicht]
s390	13.964,5 kB	52.112,0 kB	[overzicht]
sparc	13.202,6 kB	59.648,0 kB	[overzicht]