| from .universe import UniverseManager | |
| class Pipeline: | |
| def __init__(self, manager: UniverseManager): | |
| self.manager = manager | |
| def run_generate_and_prove(self, axioms: list[str], theorem: str) -> dict: | |
| uid = self.manager.create_universe(axioms) | |
| result = self.manager.prove(uid, theorem) | |
| return {"universe_id": uid, "result": result} | |
| def demo_run(axioms: list[str], theorem: str): | |
| m = UniverseManager() | |
| p = Pipeline(m) | |
| return p.run_generate_and_prove(axioms, theorem) | |