HTTP/1.1 301 Moved Permanently Connection: keep-alive Content-Length: 162 Server: GitHub.com Content-Type: text/html Location: https://leanprover.github.io/ X-GitHub-Request-Id: 3E14:444BC:90E316:A27466:69529DC3 Accept-Ranges: bytes Age: 0 Date: Mon, 29 Dec 2025 15:26:59 GMT Via: 1.1 varnish X-Served-By: cache-bom-vanm7210054-BOM X-Cache: MISS X-Cache-Hits: 0 X-Timer: S1767022020.544918,VS0,VE201 Vary: Accept-Encoding X-Fastly-Request-ID: 999784d2f36ebfb591dea22b7ea356c60d66bcec HTTP/2 200 server: GitHub.com content-type: text/html; charset=utf-8 last-modified: Thu, 11 Jan 2024 16:39:57 GMT access-control-allow-origin: * etag: "65a019dd-cc" expires: Mon, 29 Dec 2025 15:36:59 GMT cache-control: max-age=600 x-proxy-cache: MISS x-github-request-id: 762E:234FE9:9132B0:A2C4E0:69529DC3 accept-ranges: bytes age: 0 date: Mon, 29 Dec 2025 15:27:00 GMT via: 1.1 varnish x-served-by: cache-bom-vanm7210034-BOM x-cache: MISS x-cache-hits: 0 x-timer: S1767022020.848200,VS0,VE205 vary: Accept-Encoding x-fastly-request-id: acb62497683c3a68ed99fbe66962c740674e4e61 content-length: 204