chop-logic-core/package.json

Core classes, methods and functions for calculating logical formulas and constructing proofs within the Chop Logic project.

{
	"name": "chop-logic-core",
	"version": "1.8.2",
	"description": "Core classes, methods and functions for calculating logical formulas and constructing proofs within the Chop Logic project.",
	"main": "lib/index.cjs",
	"module": "lib/index.mjs",
	"types": "lib/index.d.ts",
	"files": [
		"lib"
	],
	"scripts": {
		"build": "npm run clean && tsc -p tsconfig.build.json && esbuild src/index.ts --bundle --platform=neutral --target=es2021 --format=esm --outfile=lib/index.mjs && esbuild src/index.ts --bundle --platform=neutral --target=es2021 --format=cjs --outfile=lib/index.cjs",
		"prepare": "npm run build && husky",
		"clean": "rm -rf lib",
		"prepublishOnly": "npm run clean && npm run build",
		"format": "biome format --write",
		"lint": "biome check",
		"lint:errors": "biome check --diagnostic-level error --max-diagnostics 100",
		"lint:warnings": "biome check --diagnostic-level warn --max-diagnostics 100",
		"lint:fix": "biome check --write",
		"test": "jest --watch",
		"test:ci": "jest --passWithNoTests --runInBand",
		"test:coverage": "jest --coverage --collectCoverageFrom='src/**/*.{js,ts,cjs,mjs,d.cts,d.mts,jsx,tsx,json,jsonc}'",
		"test:mutation": "stryker run",
		"typecheck": "tsc --pretty --noEmit",
		"docs": "typedoc",
		"release:version": "node scripts/release-version.js"
	},
	"lint-staged": {
		"*.ts": [
			"bash -c 'npm run typecheck'"
		],
		"*.{js,ts,cjs,mjs,d.cts,d.mts,jsx,tsx,json,jsonc}": [
			"biome format --write",
			"biome check --write",
			"biome check --diagnostic-level error"
		]
	},
	"commitlint": {
		"extends": [
			"@commitlint/config-conventional"
		]
	},
	"publishConfig": {
		"access": "public"
	},
	"repository": {
		"type": "git",
		"url": "git+https://github.com/ChopLogic/chop-logic-core.git"
	},
	"keywords": [
		"chop-logic",
		"logic",
		"propositional-logic",
		"proof-system",
		"typescript",
		"formal-logic",
		"hilbert",
		"natural-deduction"
	],
	"author": "Dmitrii Suroviagin",
	"license": "MIT",
	"bugs": {
		"url": "https://github.com/ChopLogic/chop-logic-core/issues"
	},
	"homepage": "https://choplogic.github.io/chop-logic-core",
	"devDependencies": {
		"@biomejs/biome": "^2.4.12",
		"@commitlint/cli": "^20.5.0",
		"@commitlint/config-conventional": "^20.5.0",
		"@jest/globals": "^30.3.0",
		"@stryker-mutator/core": "^9.6.1",
		"@stryker-mutator/jest-runner": "^9.6.1",
		"@types/jest": "^30.0.0",
		"babel-jest": "^30.3.0",
		"husky": "^9.1.7",
		"jest": "^30.3.0",
		"lint-staged": "^16.4.0",
		"ts-jest": "^29.4.9",
		"esbuild": "^0.25.0",
		"typedoc": "^0.28.19",
		"typescript": "^6.0.3"
	}
}