Deploying to gh-pages from @ 442d3f9 🚀

bicmr-ai4math · Jan 11, 2024 · 112537c · 112537c
1 parent 7539c61
commit 112537c
Show file tree

Hide file tree

Showing 17 changed files with 59 additions and 59 deletions.
diff --git a/404.html b/404.html
diff --git a/about.html b/about.html
diff --git a/assets/index.md.abcc0f95.js → assets/index.md.54d7a111.js b/assets/index.md.abcc0f95.js → assets/index.md.54d7a111.js
diff --git a/assets/index.md.abcc0f95.lean.js → assets/index.md.54d7a111.lean.js b/assets/index.md.abcc0f95.lean.js → assets/index.md.54d7a111.lean.js
diff --git a/draft/fp/index.html b/draft/fp/index.html
diff --git a/draft/fp/l0.html b/draft/fp/l0.html
diff --git a/draft/fp/l0/23-08-08.html b/draft/fp/l0/23-08-08.html
diff --git a/draft/impl.html b/draft/impl.html
diff --git a/draft/misc/setup.html b/draft/misc/setup.html
diff --git a/hashmap.json b/hashmap.json
@@ -1 +1 @@
-{"draft_fp_index.md":"ab54b40a","draft_fp_l0.md":"f4e926dd","draft_fp_l0_23-08-08.md":"a515a2a9","draft_misc_setup.md":"e399fb2a","about.md":"c6568d7a","research-projects_convex-optimization.md":"4d22f884","draft_impl.md":"a5f1a1dc","index.md":"abcc0f95","lean4-qa.md":"aef91948","research-projects.md":"9a1215f8","research-projects_number-theory.md":"38122f71","research-projects_spectral-sequence.md":"09816e54","team-exercises.md":"b0fe7d48"}
+{"draft_fp_l0.md":"f4e926dd","about.md":"c6568d7a","draft_fp_l0_23-08-08.md":"a515a2a9","index.md":"54d7a111","lean4-qa.md":"aef91948","research-projects.md":"9a1215f8","draft_fp_index.md":"ab54b40a","draft_misc_setup.md":"e399fb2a","research-projects_number-theory.md":"38122f71","research-projects_convex-optimization.md":"4d22f884","research-projects_spectral-sequence.md":"09816e54","draft_impl.md":"a5f1a1dc","team-exercises.md":"b0fe7d48"}
diff --git a/index.html b/index.html
diff --git a/lean4-qa.html b/lean4-qa.html
diff --git a/research-projects.html b/research-projects.html
diff --git a/research-projects/convex-optimization.html b/research-projects/convex-optimization.html
diff --git a/research-projects/number-theory.html b/research-projects/number-theory.html
diff --git a/research-projects/spectral-sequence.html b/research-projects/spectral-sequence.html
diff --git a/team-exercises.html b/team-exercises.html