*: search

bicmr-ai4math · Aug 8, 2023 · 1b4a693 · 1b4a693
1 parent 8b286e4
commit 1b4a693
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/.vitepress/config.ts b/.vitepress/config.ts
@@ -22,6 +22,10 @@ export default defineConfig({
     'BiCMR "AI for Mathematics: Formalization and Theorem Proving" Seminar Homepage',
   themeConfig: {
     // https://vitepress.dev/reference/default-theme-config
+    search: {
+      provider: "local",
+    },
+
     nav: [
       { text: "Home", link: "/" },