Bug/complicated have#63

Merged

amit9oct merged 2 commits intomainfrom

bug/complicated-have

Nov 8, 2025

Commits on Nov 8, 2025

Add multiline and multigoal support to tactic processing and enhance test coverage
amit9oct
committed
Bump version from 1.1.16 to 1.1.17 and update subproject commit reference
amit9oct
committed