Artifact for OSDI '23 Paper "Spoq: Scaling Machine-Checkable Systems Verification in Coq".
Primary LanguageLLVMGNU General Public License v2.0GPL-2.0