[ Paquet source : hol88 ]
Paquet : hol88-library (2.02.19940316dfsg-8)
Liens pour hol88-library
Ressources Debian :
- Rapports de bogues
- Developer Information
- Journal des modifications Debian
- Fichier de licence
- Suivis des correctifs pour Debian
Télécharger le paquet source hol88 :
- [hol88_2.02.19940316dfsg-8.dsc]
- [hol88_2.02.19940316dfsg.orig.tar.gz]
- [hol88_2.02.19940316dfsg-8.debian.tar.xz]
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
| Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
|---|---|---|---|
| amd64 | 5 023,9 ko | 45 108,0 ko | [liste des fichiers] |
| arm64 | 5 014,2 ko | 45 608,0 ko | [liste des fichiers] |
| armhf | 5 019,9 ko | 32 055,0 ko | [liste des fichiers] |
| i386 | 4 728,3 ko | 31 552,0 ko | [liste des fichiers] |
| ppc64el | 5 397,1 ko | 52 789,0 ko | [liste des fichiers] |
| riscv64 | 10 985,9 ko | 151 816,0 ko | [liste des fichiers] |
| s390x | 5 079,0 ko | 44 818,0 ko | [liste des fichiers] |