rarr; Smart Arithmetic</kbd> for quantifier elimination that attempts automated hiding.</li>
    <li><kbd>Tools &rarr; Counterexample</kbd> to get potentially faster feedback whether the sequent might be true or false.</li>
    <li><kbd>Tools &rarr; Find assumptions</kbd> to get hints on how to strengthen the assumptions to make the sequent provable.</li>
</ul>
</p>
<p>
Learning resources
<ul>
    <li><a target="_blank" href="https://doi.org/10.1007/978-3-319-63588-0_6">06: Truth &amp; Proof</a></li>
</ul>
