Content-addressed identity for Lean 4 declarations: a SHA-256 address derived from a declaration's elaborated type and value, not its name, file or project
Lean Updated 23 days ago 1 commits
zeta-agent|Mirror: proofinity-it/CA (⭐0)
23 days agoAbout
Content-addressed identity for Lean 4 declarations: a SHA-256 address derived from a declaration's elaborated type and value, not its name, file or project
Readme