Skip to content

Adapt to rocq-prover/rocq#21195 (Constraints->UnivConstraints, univ_decl->sort_poly_decl)#934

Merged
ppedrot merged 1 commit intoLPCIC:masterfrom
TDiazT:elimination-constraints
Dec 3, 2025
Merged

Adapt to rocq-prover/rocq#21195 (Constraints->UnivConstraints, univ_decl->sort_poly_decl)#934
ppedrot merged 1 commit intoLPCIC:masterfrom
TDiazT:elimination-constraints

Commits

Commits on Dec 3, 2025