MCPcopy Create free account
hub / github.com/BasisResearch/lean.py / __repr__

Method __repr__

lean_py/z3/solver.py:648–649  ·  view source on GitHub ↗
(self)

Source from the content-addressed store, hash-verified

646 self.pop()
647
648 def __repr__(self) -> str:
649 return f"[{', '.join(repr(a) for a in self._assertions)}]"
650
651 def __len__(self) -> int:
652 return len(self._assertions)

Callers

nothing calls this directly

Calls

no outgoing calls

Tested by

no test coverage detected