diff --git a/.gitmodules b/.gitmodules
index 9551041e..486a4ec9 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -2882,3 +2882,9 @@
 [submodule "2024/01/31/saw-script"]
 	path = 2024/01/31/saw-script
 	url = https://github.com/GaloisInc/saw-script
+[submodule "2024/01/31/bedrock2"]
+	path = 2024/01/31/bedrock2
+	url = https://github.com/mit-plv/bedrock2
+[submodule "2024/01/31/coq-ltac2-experiments"]
+	path = 2024/01/31/coq-ltac2-experiments
+	url = https://github.com/tchajed/coq-ltac2-experiments
diff --git a/2024/01/31/bedrock2 b/2024/01/31/bedrock2
new file mode 160000
index 00000000..534e4d39
--- /dev/null
+++ b/2024/01/31/bedrock2
@@ -0,0 +1 @@
+Subproject commit 534e4d3961976944bbe01cf17a9dcfe179a2a01f
diff --git a/2024/01/31/coq-ltac2-experiments b/2024/01/31/coq-ltac2-experiments
new file mode 160000
index 00000000..edc29a4d
--- /dev/null
+++ b/2024/01/31/coq-ltac2-experiments
@@ -0,0 +1 @@
+Subproject commit edc29a4d7fe5bc2662055d1b2e8a74bd272b91c1