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 intoAbsInt: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 intoAbsInt:masterfrom
SkySkimmer:context-secvar

Commits

Commits on May 4, 2026