If you are not sure if the website you would like to visit is secure, you can verify it here. Enter the website address of the page and see parts of its content and the thumbnail images on this site. None (if any) dangerous scripts on the referenced page will be executed. Additionally, if the selected site contains subpages, you can verify it (review) in batches containing 5 pages.
favicon.ico: leanprover.github.io - Redirecting to lean-lang.org.

site address: leanprover.github.io redirected to: leanprover.github.io

site title: Redirecting to lean-lang.org

Our opinion (on Monday 24 August 2026 17:22:44 UTC):

GREEN status (no comments) - no comments

Meta tags:

Headings (most frequently used words):

-

Text of the page (most frequently used words):
redirecting, lean, lang, org,


Text of the page (random words):
redirecting to lean lang org
Thumbnail images (randomly selected): * Images may be subject to copyright.GREEN status (no comments)

    No Images
    Top 50 hastags from of all verified websites.

    Supplementary Information (add-on for SEO geeks)*- See more on header.verify-www.com

    Header

    HTTP/1.1 301 Moved Permanently
    Connection close
    Content-Length 162
    Server GitHub.com
    Content-Type text/html
    Location htt????/leanprover.github.io/
    X-GitHub-Request-Id 8E2A:3F0643:6FF8D7F:70F3B6B:6A8C7DE4
    x-github-edge-region fra
    Accept-Ranges bytes
    Age 0
    Date Mon, 24 Aug 2026 17:22:44 GMT
    Via 1.1 varnish
    X-Served-By cache-rtm-ehrd2290049-RTM
    X-Cache MISS
    X-Cache-Hits 0
    X-Timer S1787592165.603387,VS0,VE104
    Vary Accept-Encoding
    X-Fastly-Request-ID e11594541b13a824895d475d89a1d69a780a48f1
    HTTP/2 200
    server GitHub.com
    content-type text/html; charset=utf-8
    last-modified Thu, 13 Aug 2026 02:25:29 GMT
    access-control-allow-origin *
    etag 6a7d2b19-cc
    expires Mon, 24 Aug 2026 17:32:44 GMT
    cache-control max-age=600
    x-proxy-cache MISS
    x-github-request-id F284:93A43:6F695E6:706434B:6A8C7DE4
    x-github-edge-region fra
    accept-ranges bytes
    age 0
    date Mon, 24 Aug 2026 17:22:44 GMT
    via 1.1 varnish
    x-served-by cache-rtm-ehrd2290020-RTM
    x-cache MISS
    x-cache-hits 0
    x-timer S1787592165.748440,VS0,VE111
    vary Accept-Encoding
    x-fastly-request-id 88d7d079115b5131fa2cc84e0c409f56bf97603e
    content-length 204

    Meta Tags

    title="Redirecting to lean-lang.org"
    charset="utf-8"
    http-equiv="refresh" content="0; URL=htt????/lean-lang.org/"

    Load Info

    page size204
    load time (s)0.311184
    redirect count1
    speed download655
    server IP 185.199.110.153
    * all occurrences of the string "http://" have been changed to "htt???/"