Linux temps réel embarqué et outils de développements Technique


hol88-doc Documentation for hol88
Installed size 1104
Maintainer Camm Maguire <camm@enhanced.com>
Architecture all
Version 2.02.19940316-1
Depends libc6 (>= 2.3.6-6), libgcc1 (>= 1
Suggests hmmer-doc (>= 2.3.2-2)
File name pool/main/h/hol88/hol88-doc_2.02.19940316-1_all.deb
Description The HOL System is an environment for interactive theorem proving in a higher-order logic. Its most outstanding feature is its high degree of programmability through the meta-language ML. The system has a wide variety of uses from formalizing pure mathematics to verification of industrial hardware. Academic and industrial sites world-wide are using HOL.

©M.N.I.S Société | Produits | Services | Formations | Support | Partenariat | Presse | Téléchargements ©M.N.I.S