Research artifact
cegar-reproducibility.zip
Supplement for Counterexample-Guided Abstraction Refinement in Higher Toposes
Author: Anonymous
6,063,462 bytes · application/zip
SHA-256: b267836b22e59e32533a27ee8af73f1f645e3c7e38e439b96f1b2f3e33ba4c20
Stable artifact reference: https://higher-categorical-semantics.pages.dev/artifacts/62c029f1b328b4a0b3a2ffc09d74fab9