Cairn Docs Claims Blog Packages

Claim ยท pairs 0.1.3

pairs^6 Pairs menu

A place of pairs 0.1.3.

Id
pairs^6
Kind
place
Reads as
no proof
Version
0.1.3

All of pairs 0.1.3's claims

What it is

The menu of Pairs's menu bar item: New Game, the Packs submenu and Open Packs Folder.

In this place

Moves

IdClaimReads as
pairs^8Open the menuClick Pairs's menu bar item.proved
pairs^9New GameChoose New Game.proved
pairs^12Open Packs FolderChoose Open Packs Folder.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
Pairs.menu
Module
Pairs.Claims
Source
lean/Pairs/Claims.lean:46 at v0.1.3
Statement hash
-

Ledger

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