Paquet : hol88 (2.02.19940316dfsg-8)

Liens pour hol88

Ressources Debian :

Télécharger le paquet source hol88 :

Responsable :

Camm Maguire (Page QA)

Paquets similaires :

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

dépendances

recommandations

suggestions

enhances

dep: libc6 (>= 2.38)

bibliothèque C GNU : bibliothèques partagées
un paquet virtuel est également fourni par libc6-udeb
dep: libedit2 (>= 2.11-20080614-0)

bibliothèques BSD d'édition de ligne et d'historique
dep: libgcc-s1 (>= 4.0) [arm64]

bibliothèque de prise en charge de GCC
dep: libgmp10 (>= 2:6.3.0+dfsg)

Bibliothèque arithmétique à multi-précision
dep: libtirpc3t64 (>= 1.0.2)

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

Télécharger hol88

Télécharger pour toutes les architectures proposées
Architecture	Taille du paquet	Espace occupé une fois installé	Fichiers
amd64	11 631,1 ko	239 349,0 ko	[liste des fichiers]
arm64	10 972,6 ko	245 409,0 ko	[liste des fichiers]
armhf	9 731,6 ko	192 158,0 ko	[liste des fichiers]
i386	10 236,4 ko	190 194,0 ko	[liste des fichiers]
ppc64el	11 018,6 ko	269 985,0 ko	[liste des fichiers]
riscv64	11 434,6 ko	239 625,0 ko	[liste des fichiers]
s390x	12 070,1 ko	213 001,0 ko	[liste des fichiers]