Artifact for OSDI '23 Paper "Spoq: Scaling Machine-Checkable Systems Verification in Coq". - View it on GitHub