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

Class Gt

examples/06_effectful_verifier/python/refine.py:31–38  ·  view source on GitHub ↗

Refinement: value > n.

Source from the content-addressed store, hash-verified

29
30
31class Gt:
32 """Refinement: value > n."""
33
34 def __init__(self, n: int):
35 self.n = n
36
37 def __repr__(self):
38 return f"Gt({self.n})"
39
40
41class Ge:

Callers 3

positive_incrementFunction · 0.90
bounded_sumFunction · 0.90
failingFunction · 0.90

Calls

no outgoing calls

Tested by

no test coverage detected