diff --git a/package-lock.json b/package-lock.json
index f9c8dff5..36c0e349 100644
--- a/package-lock.json
+++ b/package-lock.json
@@ -18,7 +18,7 @@
         "file-saver": "^2.0.5",
         "ip-anonymize": "^0.1.0",
         "lean4": "https://gitpkg.now.sh/leanprover/vscode-lean4/vscode-lean4?79d345c739bf707024eef5057ccef81b404a2ddf",
-        "mobx": "^6.6.2",
+        "mobx": "^6.10.0",
         "moment-timezone": "^0.5.39",
         "monaco-editor": "^0.34.1",
         "monaco-editor-textmate": "^4.0.0",
@@ -6045,9 +6045,9 @@
       }
     },
     "node_modules/mobx": {
-      "version": "6.7.0",
-      "resolved": "https://registry.npmjs.org/mobx/-/mobx-6.7.0.tgz",
-      "integrity": "sha512-1kBLBdSNG2bA522HQdbsTvwAwYf9hq9FWxmlhX7wTsJUAI54907J+ozfGW+LoYUo06vjit748g6QH1AAGLNebw==",
+      "version": "6.10.0",
+      "resolved": "https://registry.npmjs.org/mobx/-/mobx-6.10.0.tgz",
+      "integrity": "sha512-WMbVpCMFtolbB8swQ5E2YRrU+Yu8iLozCVx3CdGjbBKlP7dFiCSuiG06uea3JCFN5DnvtAX7+G5Bp82e2xu0ww==",
       "funding": {
         "type": "opencollective",
         "url": "https://opencollective.com/mobx"
@@ -13316,9 +13316,9 @@
       }
     },
     "mobx": {
-      "version": "6.7.0",
-      "resolved": "https://registry.npmjs.org/mobx/-/mobx-6.7.0.tgz",
-      "integrity": "sha512-1kBLBdSNG2bA522HQdbsTvwAwYf9hq9FWxmlhX7wTsJUAI54907J+ozfGW+LoYUo06vjit748g6QH1AAGLNebw=="
+      "version": "6.10.0",
+      "resolved": "https://registry.npmjs.org/mobx/-/mobx-6.10.0.tgz",
+      "integrity": "sha512-WMbVpCMFtolbB8swQ5E2YRrU+Yu8iLozCVx3CdGjbBKlP7dFiCSuiG06uea3JCFN5DnvtAX7+G5Bp82e2xu0ww=="
     },
     "moment": {
       "version": "2.29.4",
diff --git a/package.json b/package.json
index 0382bebd..5bb7b285 100644
--- a/package.json
+++ b/package.json
@@ -14,7 +14,7 @@
     "file-saver": "^2.0.5",
     "ip-anonymize": "^0.1.0",
     "lean4": "https://gitpkg.now.sh/leanprover/vscode-lean4/vscode-lean4?79d345c739bf707024eef5057ccef81b404a2ddf",
-    "mobx": "^6.6.2",
+    "mobx": "^6.10.0",
     "moment-timezone": "^0.5.39",
     "monaco-editor": "^0.34.1",
     "monaco-editor-textmate": "^4.0.0",