Research artifact
technocratic-semantics-rocq-v1.0.zip
Supplement for Machine-Checked Foundations of Technocratic Platform Influence in Rocq
Author: Anonymous
16,096 bytes · application/zip
SHA-256: fe17f3af3b8d2d3a7900939abd76214ef6ab252997bf940d20f0ab13032ed496
Stable artifact reference: https://higher-categorical-semantics.pages.dev/artifacts/045fcb1429639182b9223ad55816ab6d