guide: new flcl guide

aya-prover · Dec 20, 2023 · aa2dd27 · aa2dd27
1 parent ea82338
commit aa2dd27
Show file tree

Hide file tree

Showing 5 changed files with 901 additions and 426 deletions.
diff --git a/package.json b/package.json
@@ -22,13 +22,13 @@
   "homepage": "https://github.com/aya-prover/aya-prover-docs#readme",
   "dependencies": {
     "@vscode/markdown-it-katex": "^1.0.0",
-    "markdown-it-footnote": "^3.0.3"
+    "markdown-it-footnote": "^4.0.0"
   },
   "devDependencies": {
-    "@types/markdown-it-footnote": "^3.0.2",
-    "@vitejs/plugin-vue-jsx": "^3.0.2",
-    "vitepress": "1.0.0-rc.24",
-    "vue": "^3.3.7"
+    "@types/markdown-it-footnote": "^3.0.3",
+    "@vitejs/plugin-vue-jsx": "^3.1.0",
+    "vitepress": "1.0.0-rc.32",
+    "vue": "^3.3.13"
   },
   "pnpm": {
     "overrides": {