Ltac2 version of Especialize#17

Open

Matafou wants to merge 10 commits intomasterfrom

Commits on Oct 10, 2025

WIP: refine_hd in ltac2. First working version.
Matafou
committed

Commits on Oct 11, 2025

Ltac2 version of especialize.
Matafou
committed

Commits on Oct 21, 2025

WIP Ltac2 libHypsNaming.
Matafou
committed

Commits on Oct 24, 2025

First version of Ltac2 autorename.
Matafou
committed

Commits on Oct 25, 2025

Forward compatibility of autorename. WIP.
Matafou
committed

Commits on Oct 26, 2025

Commits on Mar 24, 2026