better

riccardobrasca · Jan 30, 2025 · b0a6c02 · b0a6c02
1 parent 07836fb
commit b0a6c02
Showing 1 changed file with 7 additions and 3 deletions.
diff --git a/.vscode/settings.json b/.vscode/settings.json
@@ -13,10 +13,13 @@
 	".gitignore": true,
 	"lake-manifest.json": true,
 	"lakefile.lean": true,
-    "LeanInRome.lean": true,
+	"README.md": true,
+	"Library.lean": true,
 	"lean-toolchain": true,
-	"mathematics_in_lean.pdf": true,
-	"MIL.lean": true,
+	"Library": true,
+	"img": true,
+	".lake": true,
+	".github": true,
     "LICENSE":true,
     ".devcontainer":true,
     "lean-tactics.tex":true,
@@ -38,3 +41,4 @@
     "lean4.infoview.showExpectedType": false
 }
 
+