Login
From:
Hey There Buddo!
(Uncensored)
subscribe
Inequality Union Finds: Baby Steps to Refinement E-graphs | Hey There Buddo!
https://www.philipzucker.com/le_find/
links
backlinks
Tagged with:
plt
formalmethods
Roast topics
Find topics
Find it!
Something I’ve been seeking for a while is a notion of a “refinement e-graph”.
