HOL

Higher-Order Logic