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

Paquet : hol88-contrib-source (2.02.19940316-35)

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 712,8 ko5 520,0 ko [liste des fichiers]