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