Research artifact
AuthProtocol.lean
Supplement for Higher-Categorical Semantics of an Agentic Web-Site Protocol: Non-Exclusive Rights, Site VMs, and Doubly-Authorized Expiring Tokens
Author: Anonymous
2,569 bytes · application/octet-stream
SHA-256: eb019c447d4a06934eb0aaa90ed33bfc6b61b16dd8e567827b28f7e7fa7eefd2
Stable artifact reference: https://higher-categorical-semantics.pages.dev/artifacts/54b0275ed8549ba0018577fdda764cd6