lib:hol
Modules
- HOL.Const
- HOL.Conv
- 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.Util
- HOL.Var
Dependencies
- base lib:base >=4.0 && <5.0
- bytestring lib:bytestring >=0.9
- containers lib:containers >=0.5
- filepath lib:filepath >=1.3
- parsec lib:parsec >=3.1
- pretty lib:pretty >=1.1
- process lib:process >=1.2
- text lib:text >=0.11
- transformers lib:transformers >=0.3
Reverse dependencies
Direct only. Not exhaustive.
- acme-everything lib:acme-everything