Claim your product

Is HOL4 yours?

Enter your work email at hol-theorem-prover.org. If it's a working inbox, we'll send a 6-digit code.

Work email

Send me a code

No inbox at hol-theorem-prover.org? Verify with your website →

Log in first, then add a tag to hol-theorem-prover.org. Log in · Create an account

Can't add a file or tag? Verify with DNS →

Log in first, then add a DNS record for hol-theorem-prover.org. Log in · Create an account

Can't do any of these? Send the claim anyway with any work email above — a person checks it within one business day.