From a0500e5b9c31d1277a5bdc4bff8e87bd0ae213f5 Mon Sep 17 00:00:00 2001
From: gilgamesh <160300106+gilgamesh1111@users.noreply.github.com>
Date: Sat, 10 Jan 2026 16:07:39 +0800
Subject: [PATCH] Revise installation instructions for Pantograph

Updated installation steps for Pantograph, changing 'poetry' to 'uv' and modifying commands accordingly.
---
 docs/tool/Pypantograph.md | 29 +++++++++++++++--------------
 1 file changed, 15 insertions(+), 14 deletions(-)

diff --git a/docs/tool/Pypantograph.md b/docs/tool/Pypantograph.md
index 652d95f..18b5472 100644
--- a/docs/tool/Pypantograph.md
+++ b/docs/tool/Pypantograph.md
@@ -64,30 +64,31 @@ Pantograph 无法执行 Lean 本身约束的操作，包括：
 
 ## 安装步骤
 
-1. 安装 `poetry`。
+1. 安装 `uv`。
 
-2. 执行命令构建 Pantograph 的 wheel 包：
+2. 安装elan：参考[Lean Manual](https://lean-lang.org/install/)
 
+3. clone项目与子模块
    ```sh
-   poetry build
+   git clone --recurse-submodules https://github.com/stanford-centaur/PyPantograph.git
    ```
+   
+4. 执行命令构建 Pantograph 的 wheel 包：
 
-   构建完成后，会在 `dist` 目录生成 Pantograph 的 wheel 文件，可以用于安装。
-
-3. 在下游项目的 `pyproject.toml` 中添加依赖，例如：
-
-   ```toml
-   pantograph = { file = "path/to/wheel/dist/pantograph-0.3.0-cp312-cp312-manylinux_2_40_x86_64.whl" }
+   ```sh
+   cd <repo-path>
+   uv build
    ```
 
-4. 运行示例和实验，先进入 poetry shell 环境：
+   构建完成后，会在 `dist` 目录生成 Pantograph 的 wheel 文件，可以用于安装。
+
+5. 在下游项目中添加依赖：
 
    ```sh
-   poetry install
-   poetry shell
+   uv add <repo-path>
    ```
-
-   这会启动一个包含开发包的环境，方便进行交互操作。
+> 注意事项：
+> 1. 在windows可能无法build，可以尝试wsl或Linux
 
 ## 使用 Pantograph 服务器