Get an email when its DNS, website or certificate changes.
lean4.dev serves a website of its own over HTTPS. It answers on both IPv4 and IPv6, with a valid TLS certificate and MX records for mail.
Its busiest IP address is shared with 10,775,287 other domains.
The most recent crawl returned the page title “Learn Lean 4: Programming Language & Theorem Proving | lean4.dev” and 211,256 bytes of HTML.
| Property | Value | Explanation |
|---|---|---|
| Top-level domain | .dev | Statistics for all domains we know under this TLD. |
| Has website | yes | A website is hosted under the domain, which does not redirect to an external domain. |
| Has MX-record | yes | The domain has an MX record. |
| External redirect | no | The domain redirects to another domain. |
| Redirect to https | yes | The domain redirects to https. |
| Redirect to www. | no | The domain redirects to www.domain. |
| Only with www. | no | The domain can only be reached with the subdomain "www". |
| Only DNS, no website | no | There are no A or AAAA records in DNS. |
| IP-Address | Both | Shows whether the domain only has IPv4 or IPv6 or both. |
| SSL-Certificate | valid | Shows whether the domain has a valid SSL certificate. |
| Redirects | 0 | Number of domains that redirect to this domain. |
| Reverse IP | 42,915,143 | Number of domains with the same IP(s). |
The data on this page is also available as JSON: /lookup for the
key facts, /reverseip, /redirect and /similar
for the lists, and /dnshistory with Basic and Premium. A free account
comes with an API key and 100 calls a day.
curl -X POST https://api.webxtrend.com/v1.0/lookup \
-H 'Content-Type: application/json' \
-d '{"token": "YOUR_TOKEN", "query": "lean4.dev"}'
Detected social media networks