Skip to content

Adapt to rocq-prover/rocq#21987 (clear checks that ids are bound even when from match goal) - #582

Closed
SkySkimmer wants to merge 1 commit into
AbsInt:masterfrom
SkySkimmer:context-secvar
Closed

Adapt to rocq-prover/rocq#21987 (clear checks that ids are bound even when from match goal)#582
SkySkimmer wants to merge 1 commit into
AbsInt:masterfrom
SkySkimmer:context-secvar

Commits

  1. Commits on May 4, 2026