The latest version of hol is 1.4-0.
lib:hol
Modules
- HOL.Const
- HOL.Data
- HOL.Name
- HOL.OpenTheory
- HOL.OpenTheory.Article
- HOL.OpenTheory.Interpret
- HOL.OpenTheory.Package
- HOL.Parse
- HOL.Print
- HOL.Rule
- HOL.Sequent
- HOL.Subst
- HOL.Term
- HOL.TermAlpha
- HOL.TermData
- HOL.Theory
- HOL.Thm
- HOL.Type
- HOL.TypeData
- HOL.TypeOp
- HOL.TypeSubst
- HOL.TypeVar
- HOL.Var
Dependencies
- base lib:base >=4.0 && <5.0
- bytestring lib:bytestring >=0.9 && <0.10
- containers lib:containers >=0.5 && <0.6
- filepath lib:filepath >=1.3 && <1.4
- parsec lib:parsec >=3.1 && <3.2
- pretty lib:pretty >=1.1 && <1.2
- process lib:process >=1.2 && <1.3
- text lib:text >=0.11 && <0.12
- transformers lib:transformers >=0.3 && <0.4
Reverse dependencies
Direct only. Not exhaustive.
- acme-everything lib:acme-everything