hol (hackage): This package implements a higher order logic kernel with OpenTheory support.
Keywords: library|logic|mit|program