hol-1.3: Higher order logic

LicenseMIT
MaintainerJoe Leslie-Hurd <joe@gilith.com>
Stabilityprovisional
Portabilityportable
Safe HaskellNone
LanguageHaskell98

HOL.TermData

Description

 

Documentation