Skip to content

Type fix following ProofStepJudgement for InstantiateForall

Sankalp Gambhir requested to merge github/fork/sankalpgambhir/inst-type-fix into easy-tactics

Fixed usages of ProofStepJudgement.ValidProofStep(Seq(_)) to be without Sequences to match recent changes.

Merge request reports