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

Function append_log

lean_py/z3/core.py:4545–4547  ·  view source on GitHub ↗

Append to Z3 log (no-op).

(s: str)

Source from the content-addressed store, hash-verified

4543
4544
4545def append_log(s: str) -> None:
4546 """Append to Z3 log (no-op)."""
4547 pass
4548
4549
4550def help_simplify() -> str:

Callers

nothing calls this directly

Calls

no outgoing calls

Tested by

no test coverage detected