package.json

{
  "name": "lazyslate",
  "version": "1.0.2",
  "description": "Lazyslate is a web-based graphical interactive theorem prover based on the slate system.",
  "src": "build/index.html",
  "scripts": {
    "build": "vite build --mode production",
    "build-dev": "vite build --mode development",
    "preview": "vite preview --open",
    "live-edit": "vite serve --open",
    "vsc-debug": "vite serve"
  },
  "repository": {
    "type": "git",
    "url": "git+https://github.com/RAIRLab/lazyslate.git"
  },
  "keywords": [
    "interactive-theorem-prover"
  ],
  "author": "The Rensselaer Artificial Intelligence and Reasoning (RAIR) Laboratory",
  "contributors": [
    "James Oswald <oswalj@rpi.edu> (jamesoswald.dev)",
    "Brandon Rozek <rozekb@rpi.edu> (brandonrozek.com)"
  ],
  "license": "MIT",
  "bugs": {
    "url": "https://github.com/RAIRLab/lazyslate/issues"
  },
  "homepage": "https://github.com/RAIRLab/lazyslate",
  "devDependencies": {
    "typescript": "^5.0.4",
    "vite": "^5.0.10"
  },
  "dependencies": {
    "lz-string": "^1.5.0"
  }
}