Balík: hol88-library-source (2.02.19940316-9) [universe]
Odkazy pre hol88-library-source
Stiahnuť zdrojový balík hol88:
Original Maintainer (usually from Debian):
- Camm Maguire
It should generally not be necessary for users to contact the original maintainer.
Higher Order Logic, library source files
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.