Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/raitraidma/fol-prover

Last synced: about 2 months ago
JSON representation

Host: GitHub
URL: https://github.com/raitraidma/fol-prover
Owner: raitraidma
Created: 2015-05-07T07:55:20.000Z (over 9 years ago)
Default Branch: master
Last Pushed: 2015-05-07T08:43:04.000Z (over 9 years ago)
Last Synced: 2023-03-01T18:33:07.544Z (almost 2 years ago)
Language: JavaScript
Size: 395 KB
Stars: 1
Watchers: 2
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
```