Refinement E-Graphs

(philipzucker.com)

3 points | by birdculture 5 hours ago ago