chore: adapt to SubVerso PR #219#874

david-christiansen merged 1 commit into

mainleanprover/verso:mainfrom

nested-tactic-adaptationleanprover/verso:nested-tactic-adaptationCopy head branch name to clipboard