diff --git a/lakefile.toml b/lakefile.toml
index b2e4dd5..86c9466 100644
--- a/lakefile.toml
+++ b/lakefile.toml
@@ -26,7 +26,7 @@ name = "HepLean"
 #[[require]]
 #name = "LeanCopilot"
 #git = "https://github.com/lean-dojo/LeanCopilot.git"
-#rev = "v1.2.2"
+#rev = "v1.4.1"
 
 # lean_exe commands defined specifically for HepLean.