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

File lean_ffi.py

lean_py/lean_ffi.py:None–None  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

1"""
2Lean FFI bindings.
3
4The LeanFFI class and all its methods are created dynamically at runtime

Callers

nothing calls this directly

Calls 1

get_ffi_classFunction · 0.90

Tested by

no test coverage detected