Refinement E-Graphs by @sandmouth@types.pl https://lobste.rs/s/9bufek #compilers #formalmethods https://www.philipzucker.com/refinement_egraph/