Skip to content

ltac: API for simple tactics#966

Merged
gares merged 3 commits intomasterfrom
revamp-ltac-API
Mar 4, 2026
Merged

ltac: API for simple tactics#966
gares merged 3 commits intomasterfrom
revamp-ltac-API

Commits

Commits on Mar 4, 2026