Update README

lean-dojo · Sep 1, 2024 · 6af2cb8 · 6af2cb8
1 parent 073f23b
commit 6af2cb8
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/README.md b/README.md
@@ -59,6 +59,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.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` |