Analysis of hosting server
Geographically, the server for leanprover.github.io is located in San Francisco, United States.
| Geographical area of the server | United States, California, San Francisco, 94107 |
|---|
| Site Host IP address | 151.101.113.147 |
|---|
| Website DNS data | - sni.github.map.fastly.net
151.101.13.147
United States, California, San Francisco
|
|---|
Website HTTP header data
X-GitHub-Request-Id: 8FF8:18AD:3A2ECC3:5435524:59E4ACAE
Vary: Accept-Encoding
Accept-Ranges: bytes
X-Timer: S1508158638.067012,VS0,VE110
Access-Control-Allow-Origin: *
X-Cache-Hits: 0
Server: GitHub.com
HTTP/1.1 200 OK
Content-Type: text/html; charset=utf-8
X-Served-By: cache-hhn1547-HHN
Last-Modified: Tue, 03 Oct 2017 21:51:47 GMT
Via: 1.1 varnish
Content-Length: 5395
Expires: Mon, 16 Oct 2017 13:07:18 GMT
X-Fastly-Request-ID: e8b8421bafcc66447b3bbd94cec1696ac1543b1d
Connection: keep-alive
Cache-Control: max-age=600
X-Cache: MISS
Age: 0
Date: Mon, 16 Oct 2017 12:57:18 GMT