Method proof

lean_py/z3/solver.py:704–706

Return proof (not supported).

(self)

        return []

    def proof(self) -> Any:
        """Return proof (not supported)."""
        raise NotImplementedError("Proof extraction not supported")

    def translate(self, ctx: Any) -> Solver:
        """Translate solver to another context (no-op)."""