Пакунок: hol88-help (2.02.19940316-19)
Links for hol88-help
Download Source Package hol88:
Please consider filing a bug before contacting the maintainer directly.
Original Maintainer (usually from Debian):
- Camm Maguire
It should generally not be necessary for users to contact the original maintainer.
Higher Order Logic, 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.