../external/lean/prompt_lean_setup