infer</a> &#x00BB; <a href="../index.html">Biabduction</a> &#x00BB; Prover</nav><header class="odoc-preamble"><h1>Module <code><span>Biabduction.Prover</span></code></h1><p>Functions for Theorem Proving</p></header><nav class="odoc-toc"><ul><li><a href="#ordinary-theorem-proving">Ordinary Theorem Proving</a></li><li><a href="#abduction-prover">Abduction prover</a></li><li><a href="#cover:-minimum-set-of-pi's-whose-disjunction-is-equivalent-to-true">Cover: minimum set of pi's whose disjunction is equivalent 