Wikipedia AI summary
HOL
HOL or Hol may refer to: