Published February 25, 2026 | Version 0.1.0
Conference paper Open

Versioned E-Graphs

Authors/Creators

  • 1. ROR icon University of St. Gallen

Description

Artifact of the paper Versioned E-Graphs, published at PLDI2026. The artifact contains a README.md with descriptions of the software artifacts in relation to the claims of the paper.

Files

README.md

Files (2.6 GB)

Name Size Download all
md5:eec4c70913efc2495f392da301271614
2.6 GB Download
md5:9ce507170326ab18e9d26895f752b7e8
37.3 kB Preview Download

Additional details

Software

Programming language
Rust , Lean , Python