ind">object</span></span> <span class="symbol"><a href="GlobalProver$.html" title=""><span class="name deprecated" title="Deprecated: (Since version now) use composite prover">GlobalProver</span></a></span><div class="fullcomment"><dl class="attributes block"><dt>Definition Classes</dt><dd><a href="index.html" name="provingground.learning" id="provingground.learning" class="extype">learning</a></dd><dt>Annotations</dt><dd><span class="name">@deprecated</span> </dd><dt>Deprecated</dt><dd class="cmt"><p><i>(S