[provingground.learning.HoTTPostWeb,provingground.learning.HoTTBot.ID]" name="provingground.learning.HoTTBot.HoTTBot" id="provingground.learning.HoTTBot.HoTTBot" class="extmbr">HoTTBot</a>] = <span class="symbol"><span class="name"><a href="#initBots:scala.collection.immutable.Vector[provingground.learning.TypedPostResponse[_&gt;:provingground.learning.HoTTMessages.GeneratedEquationNodeswithprovingground.learning.ExpressionEquationSolverwithprovingground.learning.LocalProver&lt;:Object,provingground.learnin