Paquet : hol88 (2.02.19940316dfsg-5 et autres)

[ Paquet source : hol88  ]

Higher Order Logic (logique d'ordre supérieur), image système

Le système HOL est un assistant de preuve interactif dans une logique d'ordre supérieur. Il est particulièrement remarquable par son haut degré de programmabilité, grâce au méta-langage ML. HOL a de nombreux usages qui vont de la formalisation en mathématiques pures à la vérification de matériel industriel. HOL est utilisé par des institutions universitaires et des industries du monde entier.

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

Autres paquets associés à hol88

• dep: libc6 (>= 2.34) [non alpha, sh4]

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

  dep: libc6 (>= 2.37) [sh4]

• dep: libc6.1 (>= 2.34) [alpha]

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

• dep: libedit2 (>= 2.11-20080614-0)

  bibliothèques BSD d'édition de ligne et d'historique

• dep: libgcc-s1 (>= 3.0) [arm64]

  bibliothèque de prise en charge de GCC

• dep: libgcc-s4 (>= 4.1.1) [hppa]

  bibliothèque de prise en charge de GCC

• dep: libgmp10 (>= 2:6.3.0+dfsg)

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

• dep: libtirpc3 (>= 1.0.2) [ppc64, sparc64, x32]

  bibliothèque RPC indépendante de la couche de transport

• dep: libtirpc3t64 (>= 1.0.2) [non ppc64, sparc64, x32]

  bibliothèque RPC indépendante de la couche de transport

• dep: libx11-6

  bibliothèque X11 partie client

Télécharger hol88

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

Architecture	Version	Taille du paquet	Espace occupé une fois installé	Fichiers
alpha (portage non officiel)	2.02.19940316dfsg-5+b1	6 179,9 ko	69 151,0 ko	[liste des fichiers]
amd64	2.02.19940316dfsg-5+b1	6 624,4 ko	59 059,0 ko	[liste des fichiers]
arm64	2.02.19940316dfsg-5+b1	5 942,5 ko	66 059,0 ko	[liste des fichiers]
armel	2.02.19940316dfsg-5+b1	5 257,2 ko	43 428,0 ko	[liste des fichiers]
armhf	2.02.19940316dfsg-5+b1	5 231,2 ko	40 628,0 ko	[liste des fichiers]
hppa (portage non officiel)	2.02.19940316dfsg-5+b1	5 915,0 ko	53 944,0 ko	[liste des fichiers]
i386	2.02.19940316dfsg-5+b1	5 616,3 ko	41 688,0 ko	[liste des fichiers]
m68k (portage non officiel)	2.02.19940316dfsg-5+b1	4 432,3 ko	41 508,0 ko	[liste des fichiers]
mips64el	2.02.19940316dfsg-5+b1	5 426,8 ko	67 359,0 ko	[liste des fichiers]
ppc64 (portage non officiel)	2.02.19940316dfsg-5+b1	5 816,2 ko	127 455,0 ko	[liste des fichiers]
ppc64el	2.02.19940316dfsg-5+b1	5 920,0 ko	125 791,0 ko	[liste des fichiers]
riscv64	2.02.19940316dfsg-5+b1	6 154,8 ko	57 055,0 ko	[liste des fichiers]
s390x	2.02.19940316dfsg-5+b1	6 939,4 ko	60 735,0 ko	[liste des fichiers]
sh4 (portage non officiel)	2.02.19940316dfsg-5+b1	5 640,9 ko	38 984,0 ko	[liste des fichiers]
sparc64 (portage non officiel)	2.02.19940316dfsg-5+b1	5 235,4 ko	70 439,0 ko	[liste des fichiers]
x32 (portage non officiel)	2.02.19940316dfsg-5+b1	6 536,9 ko	42 512,0 ko	[liste des fichiers]