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

File core.py

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

Source from the content-addressed store, hash-verified

1"""z3py-compatible expression AST backed by Z3 AST nodes.
2
3Each expression node carries:
4- ``_ast``: a Z3 AST node (from :mod:`lean_py.z3._ast`)

Callers

nothing calls this directly

Calls 3

UninterpASTSortClass · 0.90
RoundNearestTiesToEvenFunction · 0.85
Float64Function · 0.85

Tested by

no test coverage detected