Cairn Docs Claims Blog Packages

Claim ยท cairn_examples 0.2.0

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

An invariant of cairn_examples 0.2.0.

Id
cairn_examples^225
Kind
invariant
Reads as
retired
Version
0.2.0

All of cairn_examples 0.2.0's claims

Evidence

retired Reissued as ^226 with the same meaning: FieldView gained its secure field (#206), which changed the statement's hash, and a published claim keeps its statement.

Where it's defined

Declaration
Examples.Todo.retired_225
Module
Todo
Source
lean/Todo.lean:208 at v0.2.0
Statement hash
-

Ledger

cairn_examples^225 is retired in this version's claims.lock, statement cdded3b5839c217c. An id never moves or changes meaning.