Package ยท iamnbutler
cairn_json
A total JSON parser and encoder for Cairn apps, with proofs
- Kind
- Library
- Owner
- iamnbutler
- Version
- 0.1.0
- Published
- Oct 25, 2026 by iamnbutler
- Commit
bf6a0e7eb3b6atv0.1.0- Toolchain
leanprover/lean4:v4.35.0- License
- MIT
- Claims
Use it
With the cairn tool:
cairn add cairn_json@^0.1.0Which writes cairn.toml, and the lakefile line that it keeps in step:
[dependencies]
cairn_json = "^0.1.0"cairn.toml[[require]]
name = "cairn_json"
scope = "iamnbutler"
version = "^0.1.0"lean/lakefile.tomlDepends on
cairn^0.1.2
Versions
Claims in 0.1.0
Every id this package has issued, as its claims.lock held them at this version. An id never moves or changes meaning: the registry refuses a version that drops, renumbers or redefines one. The claim pages show each claim by place, with what it does and its evidence.
This version makes no claims.