leanprover-community.github.io
Its Domain Power Rank is relatively high.
- Global Rank
- #49,910
▼ 1,957
- Rank in TLD
- #1,308
▼ 91
- Referring Domains
- 381
▲ 42
- Average Referrer Power Rank
- 36.2
- Subdomains
- 0
- Domain age
- 13 yr 7 mo
Link summary
- Average Referrer Power Rank
- 36.2
- Median Referrer Power Rank
- 31.4
- Referring Domains
- 381
- Linked domain count
- 364
Referrer Power Rank distribution
0–9 25
10–19 72
20–29 85
30–39 64
40–49 31
50–59 42
60–69 30
70–79 21
80–89 7
90–100 4
Total 381
Referring domains
| Referring domain | Power Rank | Global Rank |
|---|---|---|
| google.com | 99.9 | #1 |
| github.com | 93.6 | #19 |
| microsoft.com | 92.0 | #32 |
| wikipedia.org | 91.8 | #34 |
| meta.com | 88.2 | #70 |
| columbia.edu | 85.3 | #145 |
| substack.com | 84.4 | #176 |
| arxiv.org | 83.9 | #193 |
| stanford.edu | 83.2 | #236 |
| mit.edu | 83.2 | #241 |
Basic Information
- Registration date
- 8 Mar 2013
- Last updated
- 25 Feb 2025
- Expires
- 8 Mar 2027
- Domain statuses
- clientUpdateProhibited clientTransferProhibited clientDeleteProhibited
- Registry
- Internet Computer Bureau Limited
- Registrar
- Markmonitor Inc.
Subdomain
No data
DNS
| Type | Name | TTL | Value |
|---|---|---|---|
| A | leanprover-community.github.io | 3600 | 185.199.108.153 |
| A | leanprover-community.github.io | 3600 | 185.199.109.153 |
| A | leanprover-community.github.io | 3600 | 185.199.110.153 |
| A | leanprover-community.github.io | 3600 | 185.199.111.153 |
| AAAA | leanprover-community.github.io | 3600 | 2606:50c0:8001::153 |
| AAAA | leanprover-community.github.io | 3600 | 2606:50c0:8000::153 |
| AAAA | leanprover-community.github.io | 3600 | 2606:50c0:8002::153 |
| AAAA | leanprover-community.github.io | 3600 | 2606:50c0:8003::153 |
| CAA | leanprover-community.github.io | 3600 | 0 issue "digicert.com" |
| CAA | leanprover-community.github.io | 3600 | 0 issue "letsencrypt.org" |
| CAA | leanprover-community.github.io | 3600 | 0 issue "sectigo.com" |
| CAA | leanprover-community.github.io | 3600 | 0 issuewild "digicert.com" |
| CAA | leanprover-community.github.io | 3600 | 0 issuewild "letsencrypt.org" |
| CAA | leanprover-community.github.io | 3600 | 0 issuewild "sectigo.com" |
These figures cover only links found in our own analysis, not every link on the web.