Research artifact
egraph-proof-spaces-anon-1.0.pdf
Supplement for The Homotopy Type of E-Graph Explanations: Measuring Proof Multiplicity in Equality Saturation
Author: Third Projection Collective
140,629 bytes · application/octet-stream
SHA-256: 142a08e7d741bbe054566e0d80e40b2bfcc6904c7fb51cb6a030665d5250ca5c
Stable artifact reference: https://higher-categorical-semantics.pages.dev/artifacts/5a2725ae03c62b2212fb5ce9b4fafcdc