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

Paquet : hol88-contrib-source (2.02.19940316dfsg-5)

Liens pour hol88-contrib-source

Screenshot

Ressources Debian :

Télécharger le paquet source hol88 :

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

Télécharger pour toutes les architectures proposées
Architecture Taille du paquet Espace occupé une fois installé Fichiers
all 708,5 ko5 514,0 ko [liste des fichiers]