HOL theorem prover
Redirect to:
HOL (proof assistant)