feat: Generate sort poly scheme with elim constraints#21567
Draft
TDiazT wants to merge 3 commits intorocq-prover:masterfrom
Draft
feat: Generate sort poly scheme with elim constraints#21567TDiazT wants to merge 3 commits intorocq-prover:masterfrom
TDiazT wants to merge 3 commits intorocq-prover:masterfrom
Commits
Commits on Jan 30, 2026
- authored andcommitted
- committed
Commits on Feb 2, 2026
- andauthored
