config: change website desc

aya-prover · Dec 4, 2024 · 121613d · 121613d
1 parent 5d758e1
commit 121613d
Show file tree

Hide file tree

Showing 2 changed files with 62 additions and 62 deletions.
diff --git a/pnpm-lock.yaml b/pnpm-lock.yaml
diff --git a/src/.vitepress/config.mts b/src/.vitepress/config.mts
@@ -5,7 +5,7 @@ import useJsx from '@vitejs/plugin-vue-jsx';
 
 export default defineConfig({
   title: 'Aya Prover',
-  description: '',
+  description: 'Website for the Aya theorem prover',
   head: [
     ['link', {
       rel: 'stylesheet',