Hypothesis

INFO

(Formal system, Proof/Reason technique, Language feature/design) [Rocq] A named assumption in the proof context that can be used to justify proof steps, introduced by tactics like intros or assert.