Research artifact
higher-egraphs.pdf
Supplement for Higher E-Graphs: Cartesian Factorization, Proof Spaces, and Topos Semantics
Author: Anonymous
90,528 bytes · application/octet-stream
SHA-256: 4b133d236082c996f3efdb542769f75a28418d809804ac51ade34f93444f5815
Stable artifact reference: https://higher-categorical-semantics.pages.dev/artifacts/b9f36f14da6750154fd20f1e546861f5