Research artifact
egraph-proof-spaces-anon-bundle-1.0.zip
Supplement for The Homotopy Type of E-Graph Explanations: Measuring Proof Multiplicity in Equality Saturation
Author: Third Projection Collective
1,937,847 bytes · application/zip
SHA-256: 34a77cdf90e47b0f296bca7f82381ac26b06c2f944409557a4e04753103d4387
Stable artifact reference: https://higher-categorical-semantics.pages.dev/artifacts/b3fc7477c50085d17c585fa4a475cc37