lean4monaco/package.json at main · hhu-adam/lean4monaco · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
{
  "name": "lean4monaco",
  "version": "1.1.15",
  "description": "Monaco Editor support for the Lean 4 theorem prover.",
  "keywords": [
    "lean",
    "leanprover",
    "monaco",
    "editor",
    "vscode"
  ],
  "homepage": "https://github.com/hhu-adam/lean4monaco",
  "bugs": {
    "url": "https://github.com/hhu-adam/lean4monaco/issues"
  },
  "license": "Apache-2.0",
  "author": {
    "name": "Alexander Bentkamp"
  },
  "contributors": [
    {
      "name": "Jon Eugster",
      "url": "https://github.com/joneugster"
    }
  ],
  "files": [
    "dist"
  ],
  "main": "dist/index.js",
  "type": "module",
  "repository": {
    "type": "git",
    "url": "https://github.com/hhu-adam/lean4monaco"
  },
  "scripts": {
    "demo:install": "(cd demo && npm install && npm run build:server)",
    "demo:setup": "concurrently \"npm run demo:install\" \"npm run build\" -n install,build -c \"bgCyan.bold,bgBlue.bold\"",
    "start": "concurrently \"tsc -w --preserveWatchOutput\" \"webpack --watch\" \"npm run watch:copyfiles\" \"cd demo && npm run start:client\" \"cd demo && npm run start:server\" -n tsc,webpack,copyfiles,vite,server -c \"bgGreen.bold,bgBlue.bold,bgCyan.bold,bgYellow.bold,bgMagenta.bold\"",
    "watch:copyfiles": "nodemon --watch ./src --exec \"npm run build:copyfiles\"",
    "build:copyfiles": "cd src && copyfiles \"**/*.json\" \"**/*.css\" \"**/*.ttf\" \"**/*.otf\" \"**/*.svg\" ../dist/",
    "build": "tsc && webpack && npm run build:copyfiles",
    "test:bare": "wait-on http://localhost:5173 && cypress run",
    "test": "npm run demo:setup && concurrently --hide 0 --kill-others \"npm start\" \"npm run test:bare\" -n server,cypress -s command-cypress",
    "test:windows:bare": "wait-on http://localhost:5173 && CYPRESS_USER_AGENT_OS=\"Windows NT 10.0; Win64; x64\" cypress run --browser chromium",
    "test:windows": "npm run demo:setup && concurrently --hide 0 --kill-others \"npm start\" \"npm run test:windows:bare\" -n server,cypress -s command-cypress",
    "font:subset": "source scripts/.python/bin/activate && scripts/subset-font.sh"
  },
  "dependencies": {
    "@leanprover/infoview": "^0.11.0",
    "@leanprover/infoview-api": "^0.11.0",
    "@leanprover/unicode-input": "^0.1.10",
    "import-meta-resolve": "^4.1.0",
    "lodash": "^4.17.21",
    "memfs": "^4.9.3",
    "monaco-editor-wrapper": "^5.3.1",
    "semver": "^7.6.2",
    "zod": "^4.3.5"
  },
  "devDependencies": {
    "@types/lodash": "^4.17.21",
    "@types/semver": "^7.5.8",
    "@types/vscode": "^1.89.0",
    "concurrently": "^9.2.1",
    "copyfiles": "^2.4.1",
    "cypress": "^15.8.2",
    "cypress-iframe": "^1.0.1",
    "nodemon": "^3.1.4",
    "ts-loader": "^9.5.1",
    "typescript": "^5.4.5",
    "wait-on": "^9.0.3",
    "webpack": "^5.93.0",
    "webpack-cli": "^6.0.1"
  }
}