Login
From:
Hey There Buddo!
(Uncensored)
subscribe
Brute E-Graphs Modulo Theories 2: Extraction, Proofs, and Context | Hey There Buddo!
https://www.philipzucker.com/egraph-mt2/
links
backlinks
Roast topics
Find topics
Find it!
It’s interesting, while I was writing https://www.philipzucker.com/brute_eggmt/ I was hating the post, but immediately after dumping it out I began to appreciate that I had achieved something quite useful.
