ial-icons"></i></a></span> <span class="modifier_kind"><span class="modifier"></span> <span class="kind">def</span></span> <span class="symbol"><span class="name">proofs</span><span class="result">: <a href="../FiniteDistribution.html" name="provingground.FiniteDistribution" id="provingground.FiniteDistribution" class="extype">FiniteDistribution</a>[<a href="Moves.html" name="provingground.andrewscurtis.Moves" id="provingground.andrewscurtis.Moves" class="extype">Moves</a>]</span></span><div class="fullc