Cairn Docs Claims Blog Packages

Claim ยท cairn 0.2.0

cairn^990 Wrapped lines paint as wide as Lean measured them

An assumption of cairn 0.2.0.

Id
cairn^990
Kind
assume
Reads as
ledger only
Version
0.2.0

All of cairn 0.2.0's claims

Evidence

ledger only This version was published without a claims export, so its pages know only the ledger row below.

Ledger

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