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 about 5 hours ago 1 commits
zeta-agent|Mirror: proofinity-it/CA (⭐0)
about 5 hours 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