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

Class VerificationResult

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

Source from the content-addressed store, hash-verified

70
71@dataclass
72class VerificationResult:
73 description: str
74 verified: bool
75
76 def __iter__(self):
77 return iter((self.description, self.verified))
78
79
80# ---------------------------------------------------------------------------

Callers 1

verify_functionFunction · 0.85

Calls

no outgoing calls

Tested by

no test coverage detected