Function tactic_description

lean_py/z3/tactic.py:365–367

Return description of a tactic.

(name: str)

def tactic_description(name: str) -> str:
    """Return description of a tactic."""
    return f"Lean tactic: {name}"


def describe_tactics() -> None: