Brute E-Graphs Modulo Theories 2: Extraction, Proofs, and Context

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.
Hey There Buddo!

Author: admin

Leave a Reply

Your email address will not be published. Required fields are marked *