Skip to content

topic 44: e-graphs as a database, and the two testing systems topic 16 only named - #5

Merged
AviAvni merged 1 commit into
masterfrom
topic/44-egraphs-egglog
Aug 27, 2026
Merged

topic 44: e-graphs as a database, and the two testing systems topic 16 only named#5
AviAvni merged 1 commit into
masterfrom
topic/44-egraphs-egglog

Commits

Commits on Aug 27, 2026