feat: Add elaboration of elimination constraints#21417
Merged
coqbot-app[bot] merged 5 commits intorocq-prover:masterfrom Jan 16, 2026
Merged
feat: Add elaboration of elimination constraints#21417coqbot-app[bot] merged 5 commits intorocq-prover:masterfrom
coqbot-app[bot] merged 5 commits intorocq-prover:masterfrom
Commits
Commits on Jan 15, 2026
- committed
- committed
- authored andcommitted
- authored andcommitted
- committed
