Function TryFor

lean_py/z3/tactic.py:204–206

Apply tactic with timeout (timeout ignored — Lean handles timeouts internally).

(tactic: Tactic, ms: int)

def TryFor(tactic: Tactic, ms: int) -> Tactic:
    """Apply tactic with timeout (timeout ignored — Lean handles timeouts internally)."""
    return tactic


def ParOr(*tactics: Tactic) -> Tactic: