package.json

{
  "name": "aya-prover-docs",
  "version": "1.0.0",
  "packageManager": "pnpm@8.0.0",
  "description": "The documentation site of the Aya prover.",
  "main": "index.js",
  "scripts": {
    "dev": "pnpm run build-aya && vitepress dev src --host",
    "build": "pnpm run build-aya && vitepress build src",
    "serve": "pnpm run build-aya && vitepress serve src",
    "build-aya": "node scripts/build-aya.js"
  },
  "repository": {
    "type": "git",
    "url": "git+https://github.com/aya-prover/aya-prover-docs.git"
  },
  "author": "Aya prover developers",
  "license": "CC-BY-SA-4.0",
  "bugs": {
    "url": "https://github.com/aya-prover/aya-prover-docs/issues"
  },
  "homepage": "https://github.com/aya-prover/aya-prover-docs#readme",
  "dependencies": {
    "@iktakahiro/markdown-it-katex": "^4.0.1",
    "markdown-it-footnote": "^3.0.3"
  },
  "devDependencies": {
    "@vitejs/plugin-vue-jsx": "^3.0.1",
    "vitepress": "1.0.0-alpha.64",
    "vue": "^3.2.47"
  },
  "pnpm": {
    "overrides": {
      "katex": "^0.16.4"
    },
    "peerDependencyRules": {
      "ignoreMissing": [
        "@types/react",
        "react",
        "react-dom"
      ]
    }
  }
}