Installlion's Logo

Installlion.com

Install or Uninstall hol88-source on jollyroger

hol88-source Higher Order Logic, source files 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.7 math

Package Data

Packagehol88-source
Version2.02.19940316-33
MaintainerCamm Maguire
DescriptionHigher Order Logic, source files 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.
Distroparrot
Releasejollyroger
Repomain
Sectionmath