Custom Data Structures in E-Graphs (by saulshanabrook) — discussion

#logiclangs #plt #python