Public DNS

RR Type EDNS Client Subnet Disable DNSSEC validation Show DNSSEC detail

Result for hol-theorem-prover.org/A with DNSSEC validation and without DNSSEC detail:

You may also resolve directly at: https://dns.google/resolve?name=hol-theorem-prover.org&type=A