Add Ltac2 Constr.is_prod_nd#22261

Draft

JasonGross wants to merge 1 commit into

rocq-prover:masterfrom

JasonGross:ltac2-constr-is-prod-nd

coqbot-app / GitLab CI pipeline (pull request) completed Jul 16, 2026 in 0s

Light pipeline completed successfully on GitLab CI

This GitLab pipeline sets the following variables:

FULL_CI: false

It contains the following stages and jobs:

GitLab Project ID: 4504

View more details on coqbot-app