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

Function get_version_string

lean_py/z3/core.py:4350–4352  ·  view source on GitHub ↗

Return version string.

()

Source from the content-addressed store, hash-verified

4348
4349
4350def get_version_string() -> str:
4351 """Return version string."""
4352 return "lean.py-z3compat-4.0.0.0"
4353
4354
4355def get_full_version() -> str:

Callers 2

test_get_version_stringMethod · 0.90
get_full_versionFunction · 0.85

Calls

no outgoing calls

Tested by 1

test_get_version_stringMethod · 0.72