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

Function _get_kernel

lean_py/z3/solver.py:160–166  ·  view source on GitHub ↗
()

Source from the content-addressed store, hash-verified

158
159
160def _get_kernel() -> Kernel:
161 global _kernel
162 if _kernel is not None:
163 return _kernel
164 mp = ManagedProject.get()
165 _kernel = mp.kernel()
166 return _kernel
167
168
169# ---------------------------------------------------------------------------

Callers 3

_register_inductiveFunction · 0.90
applyMethod · 0.90
_try_proveFunction · 0.85

Calls 2

kernelMethod · 0.80
getMethod · 0.45

Tested by

no test coverage detected