- libc6 (>= 2.17)
- libgcc1 (>= 1:3.0)
- libgmp10
- libreadline7 (>= 6.0)
- libx11-6
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: 63.5 MB
Architectures: amd64 arm64