# content
Inequality Union Finds: Baby Steps to Refinement E-graphs (by philzook) — discussion

#formalmethods #plt