Add Ltac2 Constr.Unsafe.mk* constructor wrappers#22263

Draft

JasonGross wants to merge 1 commit into

rocq-prover:masterfrom

JasonGross:ltac2-constr-mk

coqbot-app / bench cancelled Jul 11, 2026 in 0s

Bench has been cancelled

GitLab Job URL:

GitLab Bench Job

Details

View more details on coqbot-app