hol-theorem-prover.org
Observed Aug 16, 2026, 17:04 UTC (20d ago). Every field below was attested with an Ed25519 signature at scan time.
hol-theorem-prover.org is on the survey sweep, which works its way across the whole catalog rather than returning to one name on a schedule. Putting hol-theorem-prover.org under watch moves it to the fast lane, where DomainDrift re-checks it about every 5 minutes and signs each reading, so a change becomes a dated event within minutes instead of waiting for the sweep to come round.
Watch hol-theorem-prover.org Watching a domain needs a DRM3 account. The reading above stays free and public either way.Steady. No change on record for hol-theorem-prover.org in the last day; this reading matches the one before it. The steady record is signed like every other reading. Watch it to catch the next move the moment it lands.
DNS records 8
TLS certificates 3
Subdomains 0
None observed.
Signed at scan time. Check the math yourself. Every line above is part of one signed observation. Re-hash it and check the Ed25519 signature in your own browser; the only network request the check makes is for the published public keys.
Verify this receiptEd25519 receiptthe raw cryptographic proof
- Receipt ID
rcpt_a0feeefccf3583ca- Output Hash
0fc680552fdcc2412371296b37e6f783324e1b42a60ec69d72a39a0638a1db29- Signature
ed25519:b476c2cd6c054f2f4b1241ad79072b3063037997603cc5448e2f887748c1ce54aa27274dae108388ecfc530ee8efbbc1b55dee72b71b5e5f0663aca67fca3404- Public Key
ed25519:4859bb613d650e12dd7478cc307c73a8712fabc115a9dc59f65534ed3c09a8f9- Parent
(genesis)- Plane
- fast