Tag)</span></code></div>
</div>
</div>
</section>
<section id="examples">
<h2>Examples<a class="headerlink" href="#examples" title="Link to this heading"></a></h2>
<div class="line-block">
<div class="line">Prove <code class="docutils literal notranslate"><span class="pre">Goal</span></code> asynchronously in a new thread:</div>
<div class="line-block">
<div class="line"><code class="docutils literal notranslate"><span class="pre">threaded_once(Goal)</span></code></div>
</div>
<div class="line">Prove <co