Cairn Docs Claims Blog Packages

Claim · sky 0.3.1

sky^3 Load more

A move of sky 0.3.1.

Id: sky^3
Kind: move
Reads as: retired
Version: 0.3.1

All of sky 0.3.1's claims

Evidence

retired The end of the list loads more as it comes into view (cairn#211): reissued as ^30, and ^31 to retry.

Where it's defined

Declaration: Sky.retired_3
Module: Sky.Claims
Source: lean/Sky/Claims.lean:60 at v0.3.1
Statement hash: -

Ledger

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