pkg://hol88_2.02.19940316-8_armel.deb:4014/control  downloads

Package: hol88
Version: 2.02.19940316-8
Architecture: armel
Maintainer: Camm Maguire <camm@enhanced.com>
Installed-Size: 56
Section: math
Priority: optional
Description: Higher Order Logic, system image
 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.