Function lean_prefix

lean_py/utils.py:42–44

Return the path printed by `lean --print-prefix`.

()

@lru_cache(maxsize=1)
def lean_prefix() -> Path:
    """Return the path printed by `lean --print-prefix`."""
    return Path(run_command(["lean", "--print-prefix"]))


def bundle_dir() -> Path | None: