Cairn Docs Claims Blog Packages

Claim · cairn_atproto 0.3.0

cairn_atproto^10 No Lean value holds a token

An assumption of cairn_atproto 0.3.0.

Id: cairn_atproto^10
Kind: assume
Reads as: retired
Version: 0.3.0

All of cairn_atproto 0.3.0's claims

Evidence

retired Its text said the trusted-base fuzz checks it; the check is this package's make fake-fuzz. Reissued as ^15.

Where it's defined

Declaration: CairnAtproto.Claims.retired_10
Module: CairnAtproto.Claims
Source: lean/CairnAtproto/Claims.lean:125 at v0.3.0
Statement hash: -

Ledger

cairn_atproto^10 is retired in this version's claims.lock. An id never moves or changes meaning.