[ Paquet source : hol88 ]
Paquet : hol88-contrib-source (2.02.19940316dfsg-5)
Liens pour hol88-contrib-source
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-5.dsc]
- [hol88_2.02.19940316dfsg.orig.tar.gz]
- [hol88_2.02.19940316dfsg-5.debian.tar.xz]
Responsable :
Paquets similaires :
Higher Order Logic (logique d'ordre supérieur) – source contribution d'utilisateurs
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-contrib-source
| Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
|---|---|---|---|
| all | 708,5 ko | 5 514,0 ko | [liste des fichiers] |