套件： hol88-contrib-help (2.02.19940316-9) [universe]
Original Maintainer (usually from Debian):
- Camm Maguire
It should generally not be necessary for users to contact the original maintainer.
Higher Order Logic, user contributed online help 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.