Cairn Docs Claims Blog Packages

Claim · sky 0.3.1

sky^27 Signed out, no secret

An invariant of sky 0.3.1.

Id: sky^27
Kind: invariant
Reads as: retired
Version: 0.3.1

All of sky 0.3.1's claims

Evidence

retired Sky's step gained the feed's rows and images (cairn#211), so the statement's step is a new one: reissued as ^29.

Where it's defined

Declaration: Sky.retired_27
Module: Sky.Claims
Source: lean/Sky/Claims.lean:285 at v0.3.1
Statement hash: -

Ledger

sky^27 is retired in this version's claims.lock, statement 4a44c424ddf0f802. An id never moves or changes meaning.