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

Paquet : hol88-doc (2.02.19940316-35)

Liens pour hol88-doc

Screenshot

Ressources Debian :

Télécharger le paquet source hol88 :

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

Télécharger pour toutes les architectures proposées
Architecture Taille du paquet Espace occupé une fois installé Fichiers
all 1 032,6 ko1 057,0 ko [liste des fichiers]