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





hol88

hol88 Higher Order Logic, system image
Priority
Sectionmath
Installed size 259996
Maintainer Camm Maguire <camm@enhanced.com>
Architecture i386
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_2.02.19940316-1_i386.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