| 1 | {
|
| 2 | "bugs": {
|
| 3 | "url": "http://github.com/cdibbs/folproof/issues"
|
| 4 | },
|
| 5 | "name": "folproof",
|
| 6 | "author": "Chris Dibbern <c.dibbern@gmail.com>",
|
| 7 | "version": "0.1.1",
|
| 8 | "engines" : { "npm" : ">=1.3.24" },
|
| 9 | "description": "A first-order logic proof verifier",
|
| 10 | "main": "./",
|
| 11 | "bin" : "./cli.js",
|
| 12 | "dependencies" : {
|
| 13 | "nomnom": "1.5.2",
|
| 14 | "path" : "0.4.9"
|
| 15 | },
|
| 16 | "devDependencies": {
|
| 17 | "jison": "git://github.com/zaach/jison.git#5389a5890f",
|
| 18 | "nodeunit" : "latest",
|
| 19 | "browserify" : "latest"
|
| 20 | },
|
| 21 | "preferGlobal" : true,
|
| 22 | "scripts" : {
|
| 23 | "test" : "make test"
|
| 24 | },
|
| 25 | "repository": { "type" : "git", "url" : "git://github.com/cdibbs/folproof.git" },
|
| 26 | "keywords": [
|
| 27 | "fol", "folproof", "proof", "logic", "language", "first-order"
|
| 28 | ],
|
| 29 | "author": "",
|
| 30 | "license": "MIT",
|
| 31 | "readmeFilename": "readme.md"
|
| 32 | }
|