Cairn Docs Claims Blog Packages

Claim ยท pairs 0.1.3

pairs^7 Packs submenu

A place of pairs 0.1.3.

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

All of pairs 0.1.3's claims

What it is

The packs Pairs can open: the bundled ones, then each folder in the packs folder; the pack being played is checked.

In this place

Moves

IdClaimReads as
pairs^10A bundled packChoose a bundled pack (Shapes, Patterns) in the Packs submenu.proved
pairs^11A pack in the packs folderChoose a pack listed from the packs folder (~/Library/Application Support/Pairs/Packs) in the Packs submenu.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.packsMenu
Module
Pairs.Claims
Source
lean/Pairs/Claims.lean:49 at v0.1.3
Statement hash
-

Ledger

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