Skip to main content

Use this tag for the HOL Interactive Theorem Prover. Do not use this tag for other proof assistants in the HOL family such as HOL Light. For questions about higher order logic use the tag (higher-order-logic).

References:

Home page
Wikipedia
SourceForge mailing list
GitHub

Related tags: