columbia / osdi23-paper114-ae

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

https://www.usenix.org/conference/osdi23/presentation/li-xupeng

Geek Repo

Github PK Tool