toutes les options
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Paquet source : hol88  ]

Paquet : hol88-library (2.02.19940316-35.1)

Liens pour hol88-library

Screenshot

Ressources Debian :

Télécharger le paquet source hol88 :

Responsable :

Paquets similaires :

Higher Order Logic (logique d'ordre supérieur) –⋅modules exécutables de la bibliothèque

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.

Télécharger hol88-library

Télécharger pour toutes les architectures proposées
Architecture Taille du paquet Espace occupé une fois installé Fichiers
amd64 3 750,9 ko33 745,0 ko [liste des fichiers]
arm64 3 779,7 ko34 685,0 ko [liste des fichiers]
armel 3 431,6 ko20 861,0 ko [liste des fichiers]
armhf 3 512,4 ko19 985,0 ko [liste des fichiers]
i386 3 531,7 ko21 458,0 ko [liste des fichiers]
mips64el 4 066,8 ko37 657,0 ko [liste des fichiers]
mipsel 3 807,7 ko23 594,0 ko [liste des fichiers]
ppc64el 3 935,4 ko40 400,0 ko [liste des fichiers]
s390x 3 578,1 ko34 497,0 ko [liste des fichiers]