← Back to context Comment by PoignardAzur 4 days ago Right, my first thought when reading the blurb was "kinda sounds like e-graphs?" 1 comment PoignardAzur Reply jafioti 3 days ago e-graphs are awesome! none of this would be possible without them.
e-graphs are awesome! none of this would be possible without them.