2 "name": "proofery",
3 "version": "0.1.0",
4 "description": "A mathematical proof verifier written in TypeScript",
5 "type": "module",
6 "main": "dist/index.js",
7 "types": "dist/index.d.ts",
8 "bin": {
9 "proofery": "./dist/cli.js"
10 },
11 "exports": {
12 ".": {
13 "types": "./dist/index.d.ts",
14 "require": "./dist/index.js",
15 "import": "./dist/index.js"
16 },
17 "./nodeParser": {
18 "types": "./dist/nodeParser.d.ts",
19 "require": "./dist/nodeParser.js",
20 "import": "./dist/nodeParser.js"
21 }
22 },
23 "files": [
24 "dist",
25 "README.md",
26 "LICENSE"
27 ],
28 "scripts": {
29 "build": "tsc",
30 "start": "node dist/index.js",
31 "dev": "tsc && node dist/index.js"
32 },
33 "keywords": [
34 "proof",
35 "verification",
36 "mathematics",
37 "theorem"
38 ],
39 "author": "Jeremy Magland",
40 "license": "MIT",
41 "devDependencies": {
42 "@types/node": "^20.0.0",
43 "typescript": "^5.3.0"
44 },
45 "engines": {
46 "node": ">=18.0.0"
47 }
48}