https://github.com/raitraidma/fol-prover
https://github.com/raitraidma/fol-prover
Last synced: about 1 year ago
JSON representation
- Host: GitHub
- URL: https://github.com/raitraidma/fol-prover
- Owner: raitraidma
- Created: 2015-05-07T07:55:20.000Z (almost 11 years ago)
- Default Branch: master
- Last Pushed: 2015-05-07T08:43:04.000Z (almost 11 years ago)
- Last Synced: 2025-01-11T06:13:23.551Z (about 1 year ago)
- Language: JavaScript
- Size: 395 KB
- Stars: 1
- Watchers: 3
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# FOL-prover
FOL-prover is a small and simple first order logic prover in JS.
### Usage
Open index.html in browser.
### Testing
Install [Node.js](https://nodejs.org/)
```sh
$ npm install karma --save-dev
$ npm install karma-jasmine@2_0 --save-dev
$ npm install karma-phantomjs-launcher --save-dev
$ karma start
```