Function check_prop

examples/05_knuckledragger/python/lean_to_z3.py:188–194

Check a proposition via Knuckledragger (backed by Z3).

(prop)

def check_prop(prop) -> bool:
    """Check a proposition via Knuckledragger (backed by Z3)."""
    try:
        kdr.lemma(prop)
        return True
    except Exception:
        return False


# ---------------------------------------------------------------------------