Skip to content

coq.ltac.call-mltac#964

Merged
gares merged 1 commit intomasterfrom
call-variadic
Feb 24, 2026
Merged

coq.ltac.call-mltac#964
gares merged 1 commit intomasterfrom
call-variadic

Commits

Commits on Feb 24, 2026