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

File main.py

examples/06_effectful_verifier/python/main.py:None–None  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

1"""
2Effectful refinement-type verifier demo.
3
4Combines effectful's algebraic effects (symbolic arithmetic) with lean-py's

Callers

nothing calls this directly

Calls 5

KernelClass · 0.90
verifyFunction · 0.85
from_lakeMethod · 0.80
init_searchMethod · 0.80
loadMethod · 0.80

Tested by

no test coverage detected