Philip Zucker<p>[New Blog Post] Brute E-Graphs Modulo Theories 2: Extraction, Proofs, and Context <a href="https://types.pl/tags/egraph" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>egraph</span></a> <a href="https://types.pl/tags/logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>logic</span></a> <a href="https://www.philipzucker.com/egraph-mt2/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="">philipzucker.com/egraph-mt2/</span><span class="invisible"></span></a></p>