Research artifact
higher-egraphs-publication-package-v1.0.zip
Supplement for Higher E-Graphs: Cartesian Factorization, Proof Spaces, and Topos Semantics
Author: Anonymous
131,950 bytes · application/zip
SHA-256: 16f4bb70515af39b856dad03f7886514efb1d410973feec2e5f45978490c9846
Stable artifact reference: https://higher-categorical-semantics.pages.dev/artifacts/6bf439be4d0b1fb3fe415119059022d0