Cairn Docs Claims Blog Packages

Claim ยท cairn_examples 0.2.0

cairn_examples^213 The list is the filter applied to the todos

An invariant of cairn_examples 0.2.0.

Id
cairn_examples^213
Kind
invariant
Reads as
retired
Version
0.2.0

All of cairn_examples 0.2.0's claims

Evidence

retired Reissued as ^225 with the same meaning: Style gained its image field (Cairn 0.2.0), which changed the statement's hash, and a published claim keeps its statement.

Where it's defined

Declaration
Examples.Todo.retired_213
Module
Todo
Source
lean/Todo.lean:210 at v0.2.0
Statement hash
-

Ledger

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