<p><span class="h-card" translate="no"><a href="https://mastodon.social/@whitequark" class="u-url mention">@<span>whitequark</span></a></span> QE isn't something I know a lot about! but here's something by the CVC5 people:</p><p><a href="http://homepage.divms.uiowa.edu/~ajreynol/pres-dagstuhl15.pdf" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">http://</span><span class="ellipsis">homepage.divms.uiowa.edu/~ajre</span><span class="invisible">ynol/pres-dagstuhl15.pdf</span></a></p>
