Zenodo (CERN)open access
uuidna — content-addressed identity, honest by construction: 2499 distinct kernel-verified theorems under 2582 keys across 115 principles
content-address, uuid, merkle-proof, integrity, Lean 4, formal verification, by decide, axiom-free
This document is indexed with metadata only — full text is not available in the archive for this record.
Open the official source ↗
Record · ID 681829
Retrieved via
Conceptio — every document is proof-bundled with source, license, and retrieval metadata.