diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
index ff2fbb6..b646519 100644
--- a/.devcontainer/devcontainer.json
+++ b/.devcontainer/devcontainer.json
@@ -13,6 +13,12 @@
 			"extensions": [
 				"leanprover.lean4"
 			]
+		},
+		"codespaces": {
+			"openFiles": [
+				"Prova/MathlibExample.lean",
+				"Main.lean"
+			]
 		}
 	},
 	"postCreateCommand": [