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

Function _leanpy_version

lean_py/project.py:73–75  ·  view source on GitHub ↗

Return the installed lean_py package version.

()

Source from the content-addressed store, hash-verified

71
72
73def _leanpy_version() -> str:
74 """Return the installed lean_py package version."""
75 return pkg_version("lean_py")
76
77
78def _leanpy_git_rev() -> str:

Callers 1

_leanpy_git_revFunction · 0.85

Calls

no outgoing calls

Tested by

no test coverage detected