diff --git a/lean.code-workspace b/lean.code-workspace
index 2816a1150a..4aae65961a 100644
--- a/lean.code-workspace
+++ b/lean.code-workspace
@@ -48,5 +48,10 @@
 				}
 			}
 		]
+	},
+	"extensions": {
+		"recommendations": [
+			"leanprover.lean4"
+		]
 	}
 }