Method save_json

verifier/AgentVerifier/WorkflowToLean.py:233–235

(self, path: str, indent: int = 2)

        )

    def save_json(self, path: str, indent: int = 2) -> None:
        with open(path, "w", encoding="utf-8") as f:
            json.dump(self.to_dict(), f, indent=indent, ensure_ascii=False)

    @staticmethod
    def load_json(path: str) -> "WorkflowIR":