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

Function simplify

lean_py/z3/solver.py:751–753  ·  view source on GitHub ↗

Simplify an expression (placeholder — returns input unchanged).

(expr: ExprRef)

Source from the content-addressed store, hash-verified

749
750
751def simplify(expr: ExprRef) -> ExprRef:
752 """Simplify an expression (placeholder — returns input unchanged)."""
753 return expr
754
755
756def set_param(*args: Any, **kws: Any) -> None:

Callers 7

test_simplify_boolvalMethod · 0.90
sympy_prop_checkFunction · 0.85
sympy_eq_checkFunction · 0.85

Calls

no outgoing calls