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

Method __init__

examples/06_effectful_verifier/python/refine.py:44–45  ·  view source on GitHub ↗
(self, n: int)

Source from the content-addressed store, hash-verified

42 """Refinement: value >= n."""
43
44 def __init__(self, n: int):
45 self.n = n
46
47 def __repr__(self):
48 return f"Ge({self.n})"

Callers

nothing calls this directly

Calls

no outgoing calls

Tested by

no test coverage detected