Paquet : hol88 (2.02.19940316-13.1)

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

Autres paquets associés à hol88

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

  bibliothèque C GNU embarquée : bibliothèques partagées
  un paquet virtuel est également fourni par libc0.1-udeb

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

  bibliothèque C GNU embarquée : bibliothèques partagées
  un paquet virtuel est également fourni par libc6-udeb

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

  dep: libc6 (>= 2.6) [sparc]

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

  bibliothèque C GNU embarquée : bibliothèques partagées
  un paquet virtuel est également fourni par libc6.1-udeb

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

  Bibliothèque de support GCC

• dep: libgmp3c2

  Bibliothèque arithmétique à multi-précision

• dep: libncurses5 (>= 5.7+20100313)

  Bibliothèques partagées pour la gestion d'un terminal

• dep: libreadline6 (>= 6.0)

  bibliothèques GNU readline et GNU history (exécutables)

• dep: libx11-6

  Bibliothèque X11 partie client

Télécharger hol88

Télécharger pour toutes les architectures proposées

Architecture	Taille du paquet	Espace occupé une fois installé	Fichiers
amd64	14 057,6 ko	74 704,0 ko	[liste des fichiers]
armel	12 673,8 ko	54 588,0 ko	[liste des fichiers]
i386	11 742,7 ko	48 420,0 ko	[liste des fichiers]
ia64	11 637,0 ko	270 024,0 ko	[liste des fichiers]
kfreebsd-amd64	13 859,4 ko	96 722,0 ko	[liste des fichiers]
kfreebsd-i386	11 760,5 ko	71 538,0 ko	[liste des fichiers]
mips	13 995,3 ko	56 948,0 ko	[liste des fichiers]
mipsel	13 257,3 ko	56 976,0 ko	[liste des fichiers]
powerpc	13 834,0 ko	61 196,0 ko	[liste des fichiers]
s390	13 964,5 ko	52 112,0 ko	[liste des fichiers]
sparc	13 202,6 ko	59 648,0 ko	[liste des fichiers]