- libc6 (>= 2.38)
- libedit2 (>= 2.11-20080614-0)
- libgcc-s1 (>= 4.0)
- libgmp10 (>= 2:6.3.0+dfsg)
- libtirpc3t64 (>= 1.0.2)
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.
Installed Size: 251.3 MB
Architectures: amd64 arm64