lean-lang.org
Observed Aug 11, 2026, 03:48 UTC (8d ago). Every field below was attested with an Ed25519 signature at scan time.
lean-lang.org is on the survey sweep, which works its way across the whole catalog rather than returning to one name on a schedule. Putting lean-lang.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 lean-lang.org Watching a domain needs a DRM3 account. The reading above stays free and public either way.
Let's Encrypt
Google Search ConsoleSteady. No change on record for lean-lang.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 7
TLS certificates 4
Subdomains 1
1 subdomain hostname observed and signed - the list itself is part of the paid record.
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_92dac5031a842027- Output Hash
e0cc059d76fe9325a2df4b5039cdcc38a8708ed4cd531127fdf69a4c36a41fdd- Signature
ed25519:1104dc7444d907af1812f1a822c26e09f92cd651e8476e2d28f53a66fc56ca42cb01e273d705148d00c69d9ac364f667211664c9985e33701d4b3ae54cb9e40e- Public Key
ed25519:4859bb613d650e12dd7478cc307c73a8712fabc115a9dc59f65534ed3c09a8f9- Parent
(genesis)- Plane
- fast