Paketti: hol88-source (2.02.19940316-9) [universe]
Links for hol88-source
Imuroi lähdekoodipaketti hol88:
Original Maintainer (usually from Debian):
- Camm Maguire
It should generally not be necessary for users to contact the original maintainer.
Higher Order Logic, 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.