<p><span class="h-card" translate="no"><a href="https://ublog.thirdlaw.net/users/sree" class="u-url mention">@<span>sree</span></a></span> <span class="h-card" translate="no"><a href="https://hachyderm.io/@unlambda" class="u-url mention">@<span>unlambda</span></a></span> <span class="h-card" translate="no"><a href="https://mastodon.social/@regehr" class="u-url mention">@<span>regehr</span></a></span> <span class="h-card" translate="no"><a href="https://types.pl/@lenary" class="u-url mention">@<span>lenary</span></a></span> i do feel that my domain is an incredibly close match for `QF_BV` or `BV` which simplifies things a lot. i could lower my IR to SMT-LIB in one evening</p>