Public DNS

RR Type EDNS Client Subnet Disable DNSSEC validation Show DNSSEC detail

Result for leanprover-community.github.io/A with DNSSEC validation and without DNSSEC detail:

You may also resolve directly at: https://dns.google/resolve?name=leanprover-community.github.io&type=A