notes

meta-introspector · Jan 28, 2024 · 228820a · 228820a
1 parent b330295
commit 228820a
Show file tree

Hide file tree

Showing 6 changed files with 1,881 additions and 0 deletions.
diff --git a/.gitmodules b/.gitmodules
@@ -2723,3 +2723,15 @@
 [submodule "2024/01/18/CertiGraph"]
 	path = 2024/01/18/CertiGraph
 	url = https://github.com/meta-introspector/CertiGraph
+[submodule "2024/01/24/universe"]
+	path = 2024/01/24/universe
+	url = https://github.com/janestreet/universe
+[submodule "2024/01/26/math-comp-corpus"]
+	path = 2024/01/26/math-comp-corpus
+	url = https://github.com/EngineeringSoftware/math-comp-corpus
+[submodule "2024/01/26/roosterize"]
+	path = 2024/01/26/roosterize
+	url = https://github.com/EngineeringSoftware/roosterize
+[submodule "2024/01/27/jscoq"]
+	path = 2024/01/27/jscoq
+	url = https://github.com/jscoq/jscoq
diff --git a/2024/01/24/universe b/2024/01/24/universe
diff --git a/2024/01/26/math-comp-corpus b/2024/01/26/math-comp-corpus
diff --git a/2024/01/26/roosterize b/2024/01/26/roosterize
diff --git a/2024/01/27/jscoq b/2024/01/27/jscoq