Cairn Docs Claims Blog Packages

Claim ยท cairn 0.2.2

cairn^3 Counter window

A place of cairn 0.2.2.

Id
cairn^3
Kind
place
Reads as
no proof
Version
0.2.2

All of cairn 0.2.2's claims

What it is

The counter's window: a bar as long as the count, Increment, and Reset when there is something to reset.

In this place

Moves

IdClaimReads as
cairn^1IncrementPress Increment.proved
cairn^2ResetPress Reset.proved

Flows

IdClaimReads as
cairn^4Count to threePress Increment three times.proved
cairn^5Start overCount up, then press Reset.proved

Evidence

no proofA place states where claims live; it has nothing to prove.
seenNot shown yet: a screenshot of the app shows it. A CI step will publish it (#95).

Where it's defined

Declaration
Examples.Counter.window
Module
Examples.Counter
Source
lean/Examples/Counter.lean:45 at v0.2.2
Statement hash
-

Ledger

cairn^3 is active in this version's claims.lock. An id never moves or changes meaning.