Skip to content

rm problematic variables under evars for evar instantiation#21180

Open
Tragicus wants to merge 5 commits into
rocq-prover:masterfrom
Tragicus:evd-inst
Open

rm problematic variables under evars for evar instantiation#21180
Tragicus wants to merge 5 commits into
rocq-prover:masterfrom
Tragicus:evd-inst

Commits

Commits on Apr 27, 2026