[provingground.HoTT.Term],innerGoal:provingground.HoTT.Typ[provingground.HoTT.Term],outerContext:provingground.Context,innerContext:provingground.Context,variable:provingground.HoTT.Term,isDependent:Boolean):provingground.learning.HoTTMessages.ProofLambda"></a><a id="&lt;init&gt;:ProofLambda"></a> <span class="permalink"><a href="../../provingground/learning/HoTTMessages$$ProofLambda.html#&lt;init&gt;(outerGoal:provingground.HoTT.Typ[provingground.HoTT.Term],innerGoal:provingground.HoTT.Typ[provingground.Ho