Support Lean v4.8.0-rc1

lean-dojo · May 17, 2024 · 96c0775 · 96c0775
1 parent cf3e7f8
commit 96c0775
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/README.md b/README.md
@@ -58,6 +58,7 @@ require LeanCopilot from git "https://github.com/lean-dojo/LeanCopilot.git" @ "L
 `LEAN_COPILOT_VERSION` depends on your lean-toolchain:
 | lean-toolchain | Recommended Lean Copilot version |
 | -------------- | -------------------------------- |
+| `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`                         |