Paquet : hol88 (2.02.19940316-15)

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

Étiquettes: Boîte à outils d'interface utilisateur: Interface utilisateur texte ncurses

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

  bibliothèque C GNU embarquée : bibliothèques partagées
  un paquet virtuel est également fourni par 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]

  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, armhf]

  Bibliothèque de support GCC

• dep: libgmp10

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

• 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	10 840,8 ko	60 975,0 ko	[liste des fichiers]
armel	12 107,9 ko	54 589,0 ko	[liste des fichiers]
armhf	11 203,9 ko	50 877,0 ko	[liste des fichiers]
i386	8 423,5 ko	39 577,0 ko	[liste des fichiers]
ia64	9 571,9 ko	264 668,0 ko	[liste des fichiers]
kfreebsd-amd64	10 873,6 ko	84 101,0 ko	[liste des fichiers]
kfreebsd-i386	8 448,4 ko	62 623,0 ko	[liste des fichiers]
mips	8 218,5 ko	42 445,0 ko	[liste des fichiers]
mipsel	7 901,7 ko	42 849,0 ko	[liste des fichiers]
powerpc	9 252,8 ko	49 181,0 ko	[liste des fichiers]
s390	9 772,7 ko	41 665,0 ko	[liste des fichiers]
s390x	11 488,1 ko	64 083,0 ko	[liste des fichiers]
sparc	5 329,2 ko	28 784,0 ko	[liste des fichiers]