[ Paquet source : hol88 ]
Paquet : hol88-doc (2.02.19940316-35)
Liens pour hol88-doc
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.19940316-35.dsc]
- [hol88_2.02.19940316.orig.tar.gz]
- [hol88_2.02.19940316-35.debian.tar.xz]
Responsable :
Paquets similaires :
documentation pour hol88
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-doc
| Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
|---|---|---|---|
| all | 1 032,6 ko | 1 057,0 ko | [liste des fichiers] |