edit readme

lean-dojo · Dec 24, 2024 · 0129cc5 · 0129cc5
1 parent 49c2f59
commit 0129cc5
Showing 1 changed file with 1 addition and 22 deletions.
diff --git a/README.md b/README.md
@@ -56,28 +56,7 @@ package «my-package» {
 ```lean
 require LeanCopilot from git "https://github.com/lean-dojo/LeanCopilot.git" @ "LEAN_COPILOT_VERSION"
 ```
-`LEAN_COPILOT_VERSION` depends on your lean-toolchain:
-| lean-toolchain | Recommended Lean Copilot version |
-| -------------- | -------------------------------- |
-| `v4.11.0`      | `v1.6.0`                         |
-| `v4.11.0-rc3`  | `v1.5.3`                         |
-| `v4.11.0-rc2`  | `v1.5.2`                         |
-| `v4.11.0-rc1`  | `v1.5.1`                         |
-| `v4.10.0`      | `v1.5.0`                         |
-| `v4.10.0-rc2`  | `v1.4.2`                         |
-| `v4.10.0-rc1`  | `v1.4.1`                         |
-| `v4.9.0`       | `v1.4.0`                         |
-| `v4.9.0-rc3`   | `v1.3.3`                         |
-| `v4.9.0-rc2`   | `v1.3.2`                         |
-| `v4.9.0-rc1`   | `v1.3.1`                         |
-| `v4.8.0`       | `v1.3.0`                         |
-| `v4.8.0-rc2`   | `v1.2.2`                         |
-| `v4.8.0-rc1`   | `v1.2.1`                         |
-| `v4.7.0`       | `v1.2.0`                         |
-| `v4.7.0-rc2`   | `v1.1.2`                         |
-| `v4.6.0-rc1`   | `v1.1.1`                         |
-| `v4.5.0`       | `v1.1.0`                         |
-| `v4.5.0-rc1`   | `v1.1.0`                         |
+`LEAN_COPILOT_VERSION` must match with your lean-toolchain.
 
 3. Run `lake update LeanCopilot`.