nd.learning.HoTTPostWeb,(Int,Int)]]]):provingground.learning.HoTTWebSession"></a><a id="launch(WebState[HoTTPostWeb,(Int,Int)],Vector[HoTTBot],Option[(HoTTPostWeb)=&gt;Future[PostData[_,HoTTPostWeb,(Int,Int)]]]):HoTTWebSession"></a> <span class="permalink"><a href="../../provingground/learning/HoTTWebSession$.html#launch(state:provingground.learning.WebState[provingground.learning.HoTTPostWeb,(Int,Int)],bots:Vector[provingground.learning.HoTTBot.HoTTBot],completion:Option[provingground.learning.HoTTPostWeb=