Skip to content

feat: Add elaboration of elimination constraints#21417

Merged
coqbot-app[bot] merged 5 commits into
rocq-prover:masterfrom
TDiazT:elab-elim-constraints
Jan 16, 2026
Merged

feat: Add elaboration of elimination constraints#21417
coqbot-app[bot] merged 5 commits into
rocq-prover:masterfrom
TDiazT:elab-elim-constraints

chore: Add changelog entry

fa7a374
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.