From 0129cc56718dd977f055d69125f60589793566c0 Mon Sep 17 00:00:00 2001
From: Kaiyu Yang <kaiyuy@caltech.edu>
Date: Tue, 24 Dec 2024 14:49:05 -0500
Subject: [PATCH] edit readme

---
 README.md | 23 +----------------------
 1 file changed, 1 insertion(+), 22 deletions(-)

diff --git a/README.md b/README.md
index f28b949..842026c 100644
--- 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`.