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





hol88-library

hol88-library Higher Order Logic, binary library modules
Priority
Sectionmath
Installed size 5332
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-library_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