Refinement E-Graphs (by philzook) — discussion

#compilers #formalmethods