Installlion.com
How To Install hol88-library On Parrot 3.7
To install hol88-library just follow these instructions.
Are you having problems? You can always remove hol88-library again by following the instructions at this link.
Install hol88-library
http://installion.co.uk/parrot/jollyroger/main/h/hol88-library/install/index.htmlHigher Order Logic, binary library modules 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.Parrot 3.7math2.02.19940316-33sudo apt-get install hol88-library
Which will install hol88-library and any other packages on which it depends.
Package Data
| Package | hol88-library |
| Version | 2.02.19940316-33 |
| Maintainer | Camm Maguire <[email protected]> |
| Description | Higher Order Logic, binary library modules 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. |
| Distro | parrot |
| Release | jollyroger |
| Repo | main |
| Section | math |
Dependencies
hol88-library is not dependent on any other packages.