Pakket: hol88 (2.02.19940316-15)

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

Tags: Interface Toolkit: Ncurses TUI

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

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

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

  GCC support bibliotheek

• dep: libgmp10

  Multiprecision arithmetic library

• 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	10.840,8 kB	60.975,0 kB	[overzicht]
armel	12.107,9 kB	54.589,0 kB	[overzicht]
armhf	11.203,9 kB	50.877,0 kB	[overzicht]
i386	8.423,5 kB	39.577,0 kB	[overzicht]
ia64	9.571,9 kB	264.668,0 kB	[overzicht]
kfreebsd-amd64	10.873,6 kB	84.101,0 kB	[overzicht]
kfreebsd-i386	8.448,4 kB	62.623,0 kB	[overzicht]
mips	8.218,5 kB	42.445,0 kB	[overzicht]
mipsel	7.901,7 kB	42.849,0 kB	[overzicht]
powerpc	9.252,8 kB	49.181,0 kB	[overzicht]
s390	9.772,7 kB	41.665,0 kB	[overzicht]
s390x	11.488,1 kB	64.083,0 kB	[overzicht]
sparc	5.329,2 kB	28.784,0 kB	[overzicht]