LEan-Graph https://prg-grp.github.io/egraphs-formalism-website/ Machine-checked extensible e-graph theory. Publications SRC LEan-Graph Save Time and Mechanize George Zakhour In POPL 2026, Student Research Competition, POPL, 2026 PDF
