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





hol88-contrib-source

hol88-contrib-source Higher Order Logic, user contributed source
Priority
Sectionmath
Installed size 6892
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-contrib-source_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