/a> <span class="permalink"><a href="../provingground/HoTT$.html" title="Permalink"><i class="material-icons"></i></a></span> <span class="modifier_kind"><span class="modifier"></span> <span class="kind">object</span></span> <span class="symbol"><a href="HoTT$.html" title="Core of Homotopy Type Theory (HoTT) implementation."><span class="name">HoTT</span></a></span><p class="shortcomment cmt">Core of Homotopy Type Theory (HoTT) implementation.</p><div class="fullcomment"><div class="comment cmt"><p>Core 