Cairn Docs Claims Blog Packages

Claim ยท cairn 0.2.3

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

An invariant of cairn 0.2.3.

Id
cairn^213
Kind
invariant
Reads as
retired
Version
0.2.3

All of cairn 0.2.3'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
Examples.Todo
Source
lean/Examples/Todo.lean:211 at v0.2.3
Statement hash
-

Ledger

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