lib:hol

Modules

• HOL.Data

Dependencies

• base lib:base >=4.0 && <5.0

Reverse dependencies

Direct only. Not exhaustive.

• acme-everything lib:acme-everything