Isabelle/HOL sessions (Isabelle2023)

HOL

    Classical Higher-order Logic.

HOL-Library

    Classical Higher-order Logic -- batteries included.