Adapt to rocq-prover/rocq#20809 (use evar created by `evar` tactic instead of hard-coded name in `unfold_post`)#834

Merged

andrew-appel merged 1 commit intoPrincetonUniversity:masterfrom

dhalilov:autonaming-goals

Aug 18, 2025

Commits on Jul 20, 2025

Adapt to rocq-prover/rocq#20809 (use evar created by `evar` tactic instead of hard-coded name in `unfold_post`)
dhalilov
committed