some are abstract methods for exploring, searching etc., while others generate terms and types, sometimes as derivatives." class="object"></a><a href="FineProverTasks$.html" title="A collection of functions to build provers; some are abstract methods for exploring, searching etc., while others generate terms and types, sometimes as derivatives.">FineProverTasks</a></li><li class="current-entities indented2"><span class="separator"></span> <a href="FiniteDistributionLearner$.html" title="A combinator for lea