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

Function get_constants

lean_py/_runtime.py:763–766  ·  view source on GitHub ↗

Get the extracted constants.

()

Source from the content-addressed store, hash-verified

Callers 1

base_types.pyFile · 0.90

Calls 1

_ensure_builtFunction · 0.85

Tested by

no test coverage detected