pkg://hol88-library-source_2.02.19940316-8_all.deb:564958/control  downloads

Package: hol88-library-source
Source: hol88
Version: 2.02.19940316-8
Architecture: all
Maintainer: Camm Maguire <camm@enhanced.com>
Installed-Size: 4284
Section: math
Priority: optional
Description: 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.