indexo.dev

hol-theorem-prover.org

.org crawl

First seen 2026-04-11 · Last seen 2026-05-19 · ok HTTP/1.1 200 6690 ms crawled 2026-05-19

GB · 176.58.119.245 · AS63949 Akamai Connected Cloud

Reputation 100/100

Classifying

HTML metadata

Title
HOL Interactive Theorem Prover
Language
en

Technology

Server
hol
CMS
Gatsby
Fonts
  • Google Fonts

Third-party hosts loaded (3)

  • fonts.googleapis.com×2
  • raw.githubusercontent.com×1
  • www.cl.cam.ac.uk×1

Social

Registration

Registrar
Tucows Domains Inc.
Created
2015-08-03
Expires
2026-08-03 74 days left
Updated
2025-08-07
Name servers
  • ns1.afraid.org
  • ns2.afraid.org
  • ns3.afraid.org
  • ns4.afraid.org

DNS records live

NS
  • ns1.afraid.org
  • ns2.afraid.org
  • ns3.afraid.org
  • ns4.afraid.org

Email authentication no MX

SPF
v=spf1 -all
strict (-all)
DMARC
not published
DKIM
no key found at common selectors

Certificate (current)

E8
from 2026-03-16 to 2026-06-14
Expires in 25 days

Full certificate history on crt.sh ↗

HTTP security headers

Header hygiene 95/100 Checked live page: https://hol-theorem-prover.org/

present
  • strict-transport-security
  • content-security-policy
  • x-frame-options
  • x-content-type-options
  • referrer-policy
  • permissions-policy
findings
  • short HSTS max-age
Header values
referrer-policy
strict-origin-when-cross-origin
x-frame-options
SAMEORIGIN
permissions-policy
camera=(), display-capture=(), fullscreen=(), geolocation=(), microphone=(), web-share=(self)
x-content-type-options
nosniff
content-security-policy
default-src 'self'; object-src 'none'; style-src 'self' https://fonts.googleapis.com; font-src 'self' https://fonts.gstatic.com; img-src https:
strict-transport-security
max-age=2592000; includeSubDomains

Links to (22)

Linked from (6)