leannode-core/package.json

Simple Node.js wrapper for Lean 4 theorem prover

{
  "name": "leannode-core",
  "version": "1.0.0",
  "description": "Simple Node.js wrapper for Lean 4 theorem prover",
  "main": "lib/index.js",
  "scripts": {
    "test": "node test/test.js"
  },
  "keywords": ["lean", "lean4", "theorem-prover", "formal-verification"],
  "author": "Your Name",
  "license": "MIT",
  "engines": {
    "node": ">=14.0.0"
  },
  "peerDependencies": {
    "lean": "^4.0.0"
  },
  "devDependencies": {
    "assert": "^2.0.0"
  }
}